<!--
  function microsite_naviOver(element){
  	oldClassName = element.className;
    element.className = oldClassName + ' highlight';
  }
  function microsite_naviOut(element){
    element.className = oldClassName;
  }
//-->