function blurAnchors(){
  if(document.getElementsByTagName){
    var a = document.getElementsByTagName("a");
    for(var i = 0; i < a.length; i++){
      a[i].onfocus = function(){this.blur()};
    }
  }
}
window.onload = blurAnchors;

function highlight(obj)
{
    obj.style.backgroundColor = '#008083';
}
function unhighlight(obj)
{
    obj.style.backgroundColor = '#FFFFFF';
}