function changeLoc(id) {
	url = document.getElementById(id).value;
	document.location = url;
	return true;
}
/* js tool to open all anchor tagged with rel="external" in a new window */
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";  
	 }  
}  

window.onload = externalLinks;