function move_obj(wobj, wpx, wpy) { 
  if (document.all) { 
    document.all[wobj].style.pixelLeft = wpx ;
    document.all[wobj].style.pixelTop = wpy ;
   } else {
    document.getElementById(wobj).style.left = wpx ;
    document.getElementById(wobj).style.top = wpy ;
  }
} 

function width_obj(wobj) { 
  if (document.all) { 
    return document.all[wobj].offsetWidth;
   } else {
    return document.getElementById(wobj).offsetWidth;
  }
} 
