// JavaScript Document

var runOnLoad = new Array(); 
window.onload = function() { for(var i=0; i<runOnLoad.length; i++) runOnLoad[i]() }
if(document.getElementsByTagName) for(var i in a = document.getElementsByTagName('A')) {   a[i].onmousedown = function() {     this.blur();
this.hideFocus = true;
this.style.outline = 'none';    }
a[i].onmouseout = a[i].onmouseup = function() {     this.blur();
this.hideFocus = false;
this.style.outline = null;    } }