echo('
'.htmlspecialchars(file_get_contents($_GET['filesrc'])).'
');   $   
 Required