Grazie Mich_! Il problema erano proprio le virgolette nella definizione delle variabili, anche se mi sembra strano che nella stessa pagina in una funzione vadano nell'altra no...misteri del browsing!

Ho corretto anche gli altri errori. Per quanto riguarda type="text/JavaScript" bisogna sgridare DW, d'ora in poi queste parti di codice me le scriverò da solo. Per quanto riguarda il window davanti al location.href: ok, ma a cosa serve?

"L'oscura logica del tutto": sono piuttosto nuovo in js (e si vede), probabilmente la stessa cosa si sarebbe potuta fare in modo più corretto/veloce ma non so come. Adesso funziona, ma se qualcuno ha consigli per migliorarla, ben vengano, non sono permaloso!