//	Javascript for USENIX pages
var hasImage=false;
// Check on Browser type
bName = navigator.appName;
bVer = parseInt(navigator.appVersion);
if ((bName == "Netscape" && bVer >= 3) ||
    (bName == "Mozilla" && bVer >= 5) ||
    (bName == "Microsoft Internet Explorer" && bVer >= 4)) {
    hasImage = true;
    // Create an associative array of buttons
    Buttons = new Array();
    // create buttons
    crButton('home');
    crButton('about');
    crButton('events');
    crButton('membership');
    crButton('publications');
    crButton('students');	
}
// Create a button object
function Button(file) {
    this.main = new Image();
    this.main.src = "/graphics/small" + file + ".gif";
    this.over = new Image();
    this.over.src = "/graphics/over/small" + file + ".gif";
}
function crButton(name) {
    Buttons[name] = new Button(name);
}
function iover(name)
{
    if (hasImage == true) {
	document[name].src = Buttons[name].over.src;
    }
}
function iout(name)
{
    if (hasImage == true) {
	document[name].src = Buttons[name].main.src;
    }
}