\n"; echo "
\n"; echo "
\n"; echo "
\n"; echo "
\n"; } function HTMLfooter() { echo "
\n"; echo "