<!-- Fix in explorer to remove dotted lines around hyperlinks -->
function ExplorerFix()
  {
   for (a in document.links) document.links[a].onfocus = document.links[a].blur;
  }
  
  if (document.all)
  {
   document.onmousedown = ExplorerFix;
  }

<!-- Default message in the status bar -->
window.defaultStatus="Control Techniques Website - (c) 2005";

<!-- Double click to return to the top of the page -->
function dblclick() { window.scrollTo(0,0)}
if (document.layers) {document.captureEvents(Event.ONDBLCLICK);}
document.ondblclick=dblclick