"; var_dump($_SESSION); print ""; */ include "inc/lang.php"; ?> <?php if (isset($_SESSION['hotel']['name'])) print HKlang($_SESSION['hotel']['name']).'.'; ?>HK
 










 
"; //var_dump($_SESSION); //print ""; ?>