function action(action) {
  document.location.href = action;
}

function resizeFlash(height) {

 var flashObj = document.getElementById('flashmenu');//menu
 var menuDiv = document.getElementById('menu');//menu
 flashObj.style.height = height+'px';
 menuDiv.style.height = (height+6)+'px';
}


var contentDiv = null;
var contenttextholder = null;



function AddOnload(myfunc)
{
 if(window.addEventListener)
  window.addEventListener('load', myfunc, false);
 else if(window.attachEvent)
  window.attachEvent('onload', myfunc);
}