Codice PHP:
var HM_DOM = (document.getElementById) ? true : false;
var HM_IE = (document.all) ? true : false;
var isNS4 = (document.layers) ? true : false;

if (HM_DOM) location.href="pagina0.html";
if (HM_IE) location.href="pagina1.html";
if (HM_isNS4) location.href="pagina2.html"; 
Ciao!