"; } function HTML_Foot() { echo "