"; echo "alert('pagina duplicata!');"; echo ""; echo ""; ?>