// JavaScript Document
if(document.all && !document.getElementById) {  
  document.getElementById = function(id) {return document.all[id];}
}

  <!-- Menu floating tip javascript -->
function showtip(current,e,text) {
    current.title=text;
    if (document.layers)
    {
    document.linktips.document.write('<layer bgColor="yellow" style="border:1px solid black;font-family:arial;font-size:60px;">'+text+'</layer>')
    document.linktips.document.close()
    document.linktips.left=e.pageX+5
    document.linktips.top=e.pageY+5
    document.linktips.visibility="show"
    }
}

function hidetip() {
  if (document.layers)
	 document.linktips.visibility="hidden"
}