// <!----------------- JAVA SCRIPT FOR MENU ROLLOVERS ---------------------->
// <!-- Hide from old browsers
var NavButtons = new Array();

// define what browsers we support, in this case everything with
// Mozilla (netscape) 3.0 and above.
var supported = navigator.userAgent.indexOf("Mozilla")==0 && navigator.userAgent.substring(8,9) >= 3;

function openWin() {
if(supported) {
howto = window.open("howto.html","howto","resizable=no,scrollbars=yes,status=no,height=500,width=500");
return false;
}
else
return true;
}

// declare images for navigation rollovers here
// NOTE: images MUST be declared with the same name used in the html
// (<IMG NAME="The_Same_Name_As_I_Used_Here" SRC="img.gif">)

//

function NavButton(defsrc, hotsrc, txt){
// returns an array containing a default and hot image, with
// appropriate text.
//ex: button1 = new NavButton('images/image1.gif', 'images/hot.gif', 'home');
if (supported){
this['default'] = new Image();
this['default'].src = defsrc;
this['hot'] = new Image();
this['hot'].src = hotsrc;
}
this['text'] = txt;
}

function RollOver(imgname){
if (supported){
document.images[imgname].src = NavButtons[imgname]['hot'].src;
}
StatusOver(imgname);
}

function RollOut(imgname){
if (supported){
document.images[imgname].src = NavButtons[imgname]['default'].src;
}
window.status = '';
}

function StatusOver(imgname) {
window.status = NavButtons[imgname]['text'];
}

function StatusOut() {
window.status = '';
}


// <!----- ROLLOVER BUTTON DEFINITIONS (needs to be updated here and also where gif is)------>


// <!--
bName = navigator.appName;
bVer = parseInt(navigator.appVersion);
    if ((bName == "Netscape" && bVer >= 3) || 
        (bName == "Microsoft Internet Explorer" && bVer >= 4)) br = "n3"; 
    else br = "n2";

// Array Function

function makeArray() {
var args = makeArray.arguments;
    for (var i = 0; i < args.length; i++) {
    this[i] = args[i];
    }
this.length = args.length;
}

function goPage(form) {
i = form.menu.selectedIndex;            
    if (i != 0) {
    window.location.href = urls[i];  
    }
}
// Stop hiding from old browsers -->
// <!----------------- END OF JAVA SCRIPT MENU ROLLOVERS ---------------------->