print $CGI->redirect($file);