Example of PHP sessions
";highlight_file(__FILE__);} else echo('
'); ?>