// JavaScript Document


	tempo=new Array(); 

function over(n){
	if(typeof(tempo[n])!="undefined"){  
      clearTimeout(tempo[n]) 
   }   
	document.getElementById("s"+n).style.visibility="visible";
}


function out(n){
	tempo[n]=setTimeout('document.getElementById("s'+n+'").style.visibility="hidden"',70);

}





/*function addbookmark(){
var bookmarkurl=document.location;
var bookmarktitle=document.title;
if (document.all)
	window.external.AddFavorite(bookmarkurl,bookmarktitle);
}*/