'; $content =
file_get_contents("code/" . $_GET["name"]); echo htmlentities($content); echo
'