Grazie!
Quindi mi pare di capire che sia comunque necessario creare due file, uno con js standard e uno con js per IE (o cose particolari per ie).