agent = navigator.userAgent.toLowerCase(); tiptags = Array("dfn","acronym");tip=-1;
function initTips() {document.write('<div id="tipdiv"></div>');tip = document.getElementById("tipdiv");tip.onmouseover = hideTip;for (t=0; t < tiptags.length; t++){for (i=0; i < document.getElementsByTagName(tiptags[t]).length; i++) {tiptag = document.getElementsByTagName(tiptags[t])[i];  if (tiptag.title=="") continue;tiptag.tiptext = tiptag.title; tiptag.title = "";tiptag.onmousemove = handleTip; tiptag.onmouseout = hideTip;}}}
function handleTip(e) {try {

if (! this.tiptext || ! self.tip) return;
tip.innerHTML = this.tiptext;tip.style.display="block";
tip.className = ((this.tiptext.length < 5) ? "smalltip" : "" || (this.tiptext.length > 13&&this.tiptext.length <= 20) ? "bigtip" : "" || (this.tiptext.length > 20) ? "bigtxttip" : "");

tip.style.top = ((! e) ? window.event.clientY + document.body.scrollTop : e.pageY) - 45 + "px";tip.style.left =((! e) ? window.event.clientX + document.body.scrollLeft : e.pageX) - 22  + "px";} catch(e) {}}
function hideTip() {if (! self.tip) return; tip.style.display="none";}
function init() {initTips();}if (agent.indexOf("safari") != -1) document.write("<style type=\"text/css\">.fix {height:200px !important;} #head {height:150px !important;} #tipdiv {height:34px !important; width: 104px!important;}</style>");if (navigator.appVersion.toLowerCase().indexOf("win") == -1) document.write("<style type=\"text/css\">#mainnavi a {height: 12px !important;}</style>");