\r\nfunction redirect() {\r\n window.location='web/documents/accueil.php'\r\n }\r\n setTimeout('redirect()',1); \r\n \r\n"; ?>