-/*Quando viene chiamata, modifica il campo "location" di document*/
-/*effettuando un redirect sulla pagina main.php*/
-document.location.href="./main.php";
+ /*Quando viene chiamata, modifica il campo "location" di document*/
+ /*effettuando un redirect sulla pagina main.php*/
+ document.location.href="./main.php";