Io lo scriverei cosi`:
codice:
if(op) ;
else if(document.all) {
  window.location=x;
} else {
  window.location=y;
}
Comunque {} non lo scriverei mai: un'istruzione dentro ci deve essere: per lo meno un puntoevirgola o un acapo.