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 hide_info()
{
	 document.getElementById('info').style.display = 'none';
	 document.getElementById('infobutton').innerHTML = '<a href=\'#\' style=\'text-decoration:none; color:#996666;\'>Info</a> &nbsp;&nbsp;';
 }
window.onload = function() {
  externalLinks();
  //hide_info();
}