Ecco, ho trovato isset($_GET["login"]), ma il carattere @ non fa proprio questo ?