var agent = navigator.userAgent.toLowerCase();
var is_ns  = ((agent.indexOf('mozilla')!=-1) && ((agent.indexOf('spoofer')==-1) 
                && (agent.indexOf('compatible') == -1)));
var is_ie   = (agent.indexOf("msie") != -1);

if (document.layers||(document.getElementById && is_ns)){
document.write('<Script Language="JavaScript" Src="includes/hp_includes/fermitools_ns.js"><\/Script>');
}

if ((document.all && !(document.getElementById))||(document.getElementById && is_ie)){
document.write('<Script Language="JavaScript" Src="includes/hp_includes/fermitools_ie.js"><\/Script>');
}

if ((document.all && !(document.getElementById))||document.getElementById||document.layers){
name0a = new Image;name0a.src = 'images/hp_about.gif';
name0b = new Image;name0b.src = 'images/hp_about.gif';
name1a = new Image;name1a.src = 'images/hp_beam.gif';
name1b = new Image;name1b.src = 'images/hp_beam.gif';
name2a = new Image;name2a.src = 'images/hp_databasetools.gif';
name2b = new Image;name2b.src = 'images/hp_databasetools.gif';
name3a = new Image;name3a.src = 'images/hp_controller.gif';
name3b = new Image;name3b.src = 'images/hp_controller.gif';
name4a = new Image;name4a.src = 'images/hp_libraries.gif';
name4b = new Image;name4b.src = 'images/hp_libraries.gif';
name5a = new Image;name5a.src = 'images/hp_misc.gif';
name5b = new Image;name5b.src = 'images/hp_misc.gif';
name6a = new Image;name6a.src = 'images/hp_parallel.gif';
name6b = new Image;name6b.src = 'images/hp_parallel.gif';
name7a = new Image;name7a.src = 'images/hp_source.gif';
name7b = new Image;name7b.src = 'images/hp_source.gif';
name8a = new Image;name8a.src = 'images/hp_tapes.gif';
name8b = new Image;name8b.src = 'images/hp_tapes.gif';
name9a = new Image;name9a.src = 'images/hp_moreinfo.gif';
name9b = new Image;name9b.src = 'images/hp_moreinfo.gif';

}

function changeon(imgName) {
if ((document.all && !(document.getElementById))||document.getElementById||document.layers){
imgOn = eval(imgName + 'b.src');
document[imgName].src = imgOn;}
}

function changeout(imgName) {
if ((document.all && !(document.getElementById))||document.getElementById||document.layers){
imgOff = eval(imgName + 'a.src');
document[imgName].src = imgOff;}
}