$file=$_GET[\'file\']; // могут множиться кавчки, тогда повырезай их)
heder("location: file:$file");
exit;
P.S. А вообще если уже пользуешся сессией то загоняй в сессию название документа, а потом работай с ним (session_register("file")
без всяких get и post.
А уж если совсем по правилам, отключи регистр глобалс и считывай путь к файлу из сессии через $HTTP_SESSION_VARS[\'file\'];