printJavascript(); ?> printStyle(); ?>
Rooms list:
".$filename."
"; $content = file_get_contents($filename); highlight_string($content); echo "