"; } function foot() //Gibt HTML-Fuß aus { echo ""; } ?>