document.onmousemove =mouse_pos;
high= $('mainbox').getHeight();
$('menu').setStyle({
  height: high+'px'
  });
$('pic').setStyle({
 height: high+140+'px'
 });
$('pic').hide();	
  function ShowPic(pic) {
      	
      	$('hideImg').src = 'img/'+pic;
		$('pic').show();
		var top = pos.top+75;
      	var left = pos.left+95;
      	$('picontainer').setStyle({
 			top: top+'px',
 			left: left+'px'
  		});
  		
      	
  	}
  	
	function mouse_pos(evt)
	{
    if(!evt) evt = window.event;
	 pos = { left: evt.clientX, top:evt.clientY };

    var b = (window.document.compatMode && window.document.compatMode == "CSS1Compat") ?
    window.document.documentElement : window.document.body || null;

    if (b)
    {
        pos.left += b.scrollLeft;
        pos.top +=  b.scrollTop;
    }
     return pos;
}