<?php$file = (isset($argv[2])) ? $argv[2] : $_GET['file'];$dom = new DomDocument();$dom->load("../".$file.".txt");$xp = new DomXPath($dom);$res = $xp->query("/planet/entry[@ID = '9999']");
