<?php$file = (isset($argv[2])) ? $argv[2] : $_GET['file'];$foo = file_get_contents("../".$file.".txt");
