non credo sia un problema di sistema operativo, stai utilizzando la stessa versione del browser?

prova così:

codice:
function cambia()
{
 	window.location.href="index.asp?id="+document.frm.codice.value;
}
ciao