doclang = $lang; save_session("SESSION"); } if (empty($file)) { $include = false; $file = "intro.html"; } else { $include = true; } document_file($file, $include); if ($include) { exit; } ?> ">