<!-- the following section of the javascript below  makes all links with the tag   rel="external"   open 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;

 function disable() {
    var limit = document.forms[0].elements.length;
    for (i=0;i<limit;i++) {
      document.forms[0].elements[i].disabled = true;
    }
  }