function move_menu() {
  var curleft = 0;
  obj = document.getElementById('top_content_inner');
  curleft = obj.offsetLeft
  while (obj = obj.offsetParent) {
    curleft += obj.offsetLeft
  }
  curleft += 769;
  obj = document.getElementById('vert_menu');
  obj.style.left=curleft+"px";
  obj.style.marginLeft="0px";
  curleft += 28;
  obj = document.getElementById('vert_menu_items');
  obj.style.left=curleft+"px";
  obj.style.marginLeft="0px";
  }