function changeTip(theTip) { try { if(theTip.length==0) { document.getElementById("menuTip").innerHTML=" "; } else { var theTipImage="\"\""; document.getElementById("menuTip").innerHTML=theTipImage + theTip; } } catch(e) { } }