= $SUBMIT_CLOSE)) { if (file_exists("./submit_close.php")) { header("Location: ./submit_close.php"); exit; } $papernum = array(); get_paper_number(&$papernum); echo " $SHORT_NM Submission Menu

$SHORT_NM Submission Instructions

\n"; if ($undisplay_detail) { echo " The submission deadline has passed."; } else { echo " The submission deadline $dline has passed.\n"; //We received $papernum[total] paper submissions this year."; } echo "

\n"; exit; } ?> <? echo $SHORT_NM ?> Submission Menu

On-Line Paper Submission

$dline, 11.59pm *$TIMEZONE*."?>
Extended to Sep 5, 11:59pm