// Globals
var dom=(document.getElementById) //modern dom browsers
//var dom=document.getElementById&&navigator.userAgent.indexOf("Opera")==-1

var iebrowser=document.all