<?
$file=$HTTP_GET_VARS['file'];
echo $file;
?>