EOF; readfile("../../../menu.html"); print<<

EOF; ?>