EOT; } function create_menu(){ echo <<

>HOME

>SERVICES

>PRODUCTS

>ACCOMMODATION

>CONTACT
EOT; } function __destruct(){ echo <<
EOT; }