$request = escapeshellcmd($_GET['page']); $page=$request; $index=escapeshellcmd($_GET['index']); $lang=escapeshellcmd($_GET['lang']); $request=preg_replace('/\.\./','',$request); $numsec=preg_replace('/.*([0-9]+).*/','$1',$index); $langloc="/home/robin/man"; if($lang!="en") { $langloc="/home/robin/man/$lang"; } print ("