<?php$file = (isset($argv[2])) ? $argv[2] : $_GET['file'];$dom = new DomDocument();$dom->load("../".$file.".txt");$dom->getElementById("entry9999");
