function mb(tip) {
msize=Math.floor((Math.random(1)*25))+12;
document.write("<font size=\"-1\">");
document.write("["+msize+" "+tip+"]");
document.write("</font>");
}

if (top != self)
{top.location = self.location}

//<![CDATA[
function bookmark(anchor){
   if(window.external)
   {
       window.external.AddFavorite(anchor.getAttribute('href'), anchor.getAttribute('title'));
       return false;
   }
   return true;
}
//]]>