function externalLinks() {
 if (!document.getElementsByTagName) return; 
 var anchors = document.getElementsByTagName("a"); 
 for (var i=0; i<anchors.length; i++) { 
   var anchor = anchors[i]; 
   if (anchor.getAttribute("href") && 
       anchor.getAttribute("rel") == "external") 
     anchor.target = "_blank"; 
 } 
} 

function f(id) {
	var el=document.getElementById(id)
	if (el.style.display=="none") {
		el.style.display="";
	}
	else {
		el.style.display="none";
	}
}