d = document;
w = window;
ns3 = (d.images) && ((w.screen)?false:true);
ie4 = ((d.all) && (w.offscreenBuffering)) ? true : false; // IE >= 4.x
ns4 = ((d.captureEvents) && (!d.getElementById)) ? true : false;
dom = (d.getElementById) ? true : false;

function pos() {
x=document.getElementById('pos').style.left;
y=document.getElementById('pos').style.top;

if(dom)  { y = y-5; }
if(ie4)  { y = (y+15); }
else {}
}