$text\n"; } function bodyStart ($pageName) { echo " \n"; echo "\n"; echo " \n"; echo " \n"; echo " \n"; echo " \n"; echo "
\n"; echo "

 Simulation Message Bus on 0MQ, version 0.02  \n"; echo "

\n"; echo "
\n"; echo "\n"; echo " \n"; echo "\n"; echo "
\n"; echo "
\n"; echo "

\n"; echo " SIM0MQ\n"; echo "

\n"; echo " \n"; echo "
\n"; echo "
\n"; echo "\n"; echo " \n"; echo "\n"; echo "
\n"; echo "\n"; } ?>