Questo comunque è sbagliato!
Non gli passi variabili!

echo "
<script language=\"JavaScript\">
<!--
document.location.href =\"formdocenti.php"
//-->
</script>
Io avevo scritto questo:
Codice PHP:
echo "
<script language=\"JavaScript\">
<!--
document.location.href =\"prova2.php?cog=
$cognome\"
//-->
</script>"