function posizionamenu1(el) {
  
  var x;
  // Return the x coordinate of an element relative to the page.
  x = el.offsetLeft;
 
  if (el.offsetParent != null)
   
  x += posizionamenu1(el.offsetParent);

			menu=document.getElementById('mio');
			menu.style.left=x+1;
		
  return x;

}

function posizionamenu1top(el) {

  var y;

  // Return the x coordinate of an element relative to the page.
try{
  y = el.offsetTop;
  if (el.offsetParent != null)
    y += posizionamenu1top(el.offsetParent);
			menu=document.getElementById('mio');
			menu.style.top=y-10;

  return y;
  }catch(e) {}
}