\documentclass{entcs}
\usepackage{times,mathptm}
\input body