<?php $page = file_get_contents('http://www.hacker.org/challenge/misc/minuteman.php'); echo($page); ?>
You have javascript disabled. You will not be able to edit any code.