if (document.images) {
img1 = new Image();
img1.src = "images/i1.jpg";
img2 = new Image();
img2.src ="images/i2.jpg";
img3 = new Image();
img3.src = "images/i3.jpg";
img4 = new Image();
img4.src ="images/i4.jpg";
img5 = new Image();
img5.src = "images/i5.jpg";
img6 = new Image();
img6.src ="images/i6.jpg";
img7 = new Image();
img7.src = "images/i7.jpg";
img8 = new Image();
img8.src ="images/i8.jpg";
img9 = new Image();
img9.src ="images/i9.jpg";
}
function init() {
	used = new Array(0,0,0);
	for (j=0;j<3;j++) {
	used[j]=getNum();
	}
	document.write("<img name=img1 src=\"images/i"+used[0]+".jpg\" width=77 height=82 alt=\"No Smoking\" border=0><img src=\"images/clrpxl.gif\" width=5 height=1 border=0><img name=img2 src=\"images/i"+used[1]+".jpg\" width=77 height=82 alt=\"No Smoking\" border=0><img src=\"images/clrpxl.gif\" width=5 height=1 border=0><img name=img3 src=\"images/i"+used[2]+".jpg\" width=77 height=82 alt=\"No Smoking\" border=0>");
}
function start() {
	delay = Math.floor(3000*Math.random()+2000);
	startDelay=setTimeout("run()",eval(delay));
}
function run() {
	num = getNum();
	pos = Math.floor(3*Math.random()+1);
	used[pos-1] = num;
	document['img'+pos].src = eval("img"+num+".src");
	clearTimeout(startDelay);
	start();
}
function getNum() {
	var num2;
	do {
		test = false;
		num2 = Math.floor(9*Math.random()+1);
		for (i=0;i<3;i++) {
			if (num2 == used[i]) {
				test = true;
			}
		}
	} while (test);
	return num2;
}

buttons=6;
menuItemHeight = 19;
menuItemWidth=120;
menuLengths = new Array(3,1,2,0,0,0);
buttonHeight = 19;
buttonBaseWidth=90;
buttonWidth=88;
menuURLs = new Array(menuLengths.length);
for (i=0;i<menuLengths.length;i++) {
    menuURLs[i] = new Array(menuLengths[i]);
	}
menuURLs[0][0] ="index.html";
menuURLs[0][1] ="mission.html";
menuURLs[0][2] ="progobj.html";
menuURLs[0][3] ="staff.html";
menuURLs[1][0] ="stake.html";
menuURLs[1][1] ="teams.html";
menuURLs[2][0] ="resource.html";
menuURLs[2][1] ="abstract.html";
menuURLs[2][2] ="pub.html";
menuURLs[3][0] ="events.html";
menuURLs[4][0] ="nntppnws.html";
menuURLs[5][0] ="contact.html";
menuTimers = new Array(buttons);
menuTimers = new Array(buttons);

function getStyleObj(id) {
    if (document.getElementById || document.all) {
        return getObj(id).style;
    } else return getObj(id);
}
function getObj(id) {
    if (document.getElementById) { 
        return document.getElementById(id);
    } else if (document.all) {
        return document.all[id];
    } else if (document.layers) {
        return document.layers[id];
    } else { 
        return false;
    }
}
function showSubmenu(index) {
    if (menuTimers[index-1]) clearTimeout(menuTimers[index-1]);
    for (i=1;i<=menuLengths.length;i++)
        if (i!=index) closeSubmenu(i);
    var submenu = getStyleObj("submenu"+index);
	if (document.layers) {
		var button = document.layers['menu'+index].document.layers['menuitem'+index];
		} else {
		var button = getObj("menuitem"+index);
		}
	if (!button.showmenu==0) {
    if (submenu) submenu.visibility = "visible";
	}
	if (button)	button.hilightitem.visibility = "visible";
}
function hideSubmenu(index) {
    if (menuTimers[index-1]) clearTimeout(menuTimers[index-1]);
	if (document.layers) {
		var button = document.layers['menu'+index].document.layers['menuitem'+index];
		} else {
		var button = getObj("menuitem"+index);
		}
	if (!button.showmenu==0) {
    menuTimers[index-1] = setTimeout("closeSubmenu('"+index+"');",500);
	} else {
	closeSubmenu(index);
	}
}
function closeSubmenu(index) {
    var submenu = getStyleObj("submenu"+index);
	if (document.layers) {
		var button = document.layers['menu'+index].document.layers['menuitem'+index];
		} else {
		var button = getObj("menuitem"+index);
		}
	if (button)button.hilightitem.visibility = "hidden";
    if (submenu) submenu.visibility = "hidden";
}
function overSubmenuItem() {
    this.hilightitem.visibility='visible';
    showSubmenu(this.menuid);
}
function overButtonItem() {
    this.hilightover.visibility='visible';
	showSubmenu(this.menuid);
}
function outSubmenuItem() {
    this.hilightitem.visibility='hidden';
    hideSubmenu(this.menuid);
}
function outButtonItem() {
    this.hilightover.visibility='hidden';
    hideSubmenu(this.menuid);
}
function clickSubmenuItem() {
    if (this.url) {
        window.location = this.url;
    }
}
function clickButtonItem() {
    if (this.url) {
        window.location = this.url;
    }
}
window.onload=setupMenus;
function setupMenus() {
	start();
    if (document.layers) { 
        for (menuid=1;menuid<=menuLengths.length;menuid++) { 
			var menu = getObj("menu"+menuid);
			menu.clip.width = buttonBaseWidth + 2;
            menu.clip.height = buttonHeight+2;
            menu.document.bgColor="#574154";
			var submenu = getObj("submenu"+menuid);
            submenu.clip.width = menuItemWidth + 2;
            submenu.clip.height = (menuItemHeight+1) * menuLengths[menuid-1] + 1;
            submenu.document.bgColor="#574154";
			var button = eval("menu.document.menuitem"+menuid);
            var onbutton = eval("menu.document.menuitem"+menuid+"on");
            var overbutton = eval("menu.document.menuitem"+menuid+"over");
			var buttonstyle = eval("menu.document.menuitem"+menuid);
            var onbuttonstyle = eval("menu.document.menuitem"+menuid+"on");
			var overbuttonstyle = eval("menu.document.menuitem"+menuid+"over");
			button.clip.width = buttonWidth + 2;
            button.clip.height = buttonHeight;
            button.document.bgColor="#574154";
			onbutton.clip.width = buttonWidth + 2;
            onbutton.clip.height = buttonHeight;
            onbutton.document.bgColor="#999999";
			overbutton.clip.width = buttonWidth + 2;
            overbutton.clip.height = buttonHeight;
            overbutton.document.bgColor="#B8C9D2";
			button.hilightitem = onbuttonstyle;
			button.hilightover = overbuttonstyle;
            onbutton.hilightitem = onbuttonstyle;
			onbutton.hilightover = overbuttonstyle;
			overbutton.hilightover = overbuttonstyle;
			button.menuid = menuid;
            onbutton.menuid = menuid;
			overbutton.menuid = menuid;
			var url = menuURLs[menuid-1][0];
            button.url = url;
            onbutton.url = url;
			button.onmouseover = overButtonItem;
            onbutton.onmouseover = overButtonItem;
			overbutton.onmouseover = overButtonItem
            button.onmouseout = outButtonItem;
            onbutton.onmouseout = outButtonItem;
			overbutton.onmouseout = outButtonItem
            button.onclick = clickButtonItem;
            onbutton.onclick = clickButtonItem;
			overbutton.onclick = clickButtonItem;
			
			button.showmenu = menuLengths[menuid-1];
	        for (i=1;i<=menuLengths[menuid-1];i++) {
                var item = eval("submenu.document.submenu"+menuid+"item"+i);
                var onitem = eval("submenu.document.submenu"+menuid+"item"+i+"on");
                item.top = (menuItemHeight + 1) * (i-1) + 1;
                onitem.top = (menuItemHeight + 1) * (i-1) + 1;
                item.clip.width = menuItemWidth;
                item.clip.height = menuItemHeight;
                item.document.bgColor="#999999";
                onitem.clip.width = menuItemWidth;
                onitem.clip.height = menuItemHeight;
                onitem.document.bgColor="#B8C9D2";
                item.hilightitem = onitem;
                onitem.hilightitem = onitem;
                item.menuid = menuid;
                onitem.menuid = menuid;
                var url = menuURLs[menuid-1][i];
                item.url = url;
                onitem.url = url;

                var eTypes = Event.MOUSEOVER | Event.MOUSEOUT | Event.CLICK;
                item.captureEvents(eTypes);
                onitem.captureEvents(eTypes);
                item.onmouseover = overSubmenuItem;
                onitem.onmouseover = overSubmenuItem;
                item.onmouseout = outSubmenuItem;
                onitem.onmouseout = outSubmenuItem;
                item.onclick = clickSubmenuItem;
                onitem.onclick = clickSubmenuItem;
            }
        }
    } else {
        for (menuid=1;menuid<=buttons;menuid++) { 
			var button = getObj("menuitem"+menuid);
            var onbutton = getObj("menuitem"+menuid+"on");
            var overbutton = getObj("menuitem"+menuid+"over");
			var buttonstyle = getStyleObj("menuitem"+menuid);
            var onbuttonstyle = getStyleObj("menuitem"+menuid+"on");
			var overbuttonstyle = getStyleObj("menuitem"+menuid+"over");
			
			if (navigator.appName=="Microsoft Internet Explorer") {
                    buttonstyle.cursor = "hand";
                    onbuttonstyle.cursor = "hand";
					overbutton.cursor ="hand";
                }
			button.hilightitem = onbuttonstyle;
			button.hilightover = overbuttonstyle;
            onbutton.hilightitem = onbuttonstyle;
			onbutton.hilightover = overbuttonstyle;
			overbutton.hilightover = overbuttonstyle;
			button.menuid = menuid;
            onbutton.menuid = menuid;
			overbutton.menuid = menuid;
			var url = menuURLs[menuid-1][0];
            button.url = url;
            onbutton.url = url;
			button.onmouseover = overButtonItem;
            onbutton.onmouseover = overButtonItem;
			overbutton.onmouseover = overButtonItem
            button.onmouseout = outButtonItem;
            onbutton.onmouseout = outButtonItem;
			overbutton.onmouseout = outButtonItem
            button.onclick = clickButtonItem;
            onbutton.onclick = clickButtonItem;
			overbutton.onclick = clickButtonItem;
			button.showmenu = menuLengths[menuid-1];
			for (i=1;i<=menuLengths[menuid-1];i++) {
                var item = getObj("submenu"+menuid+"item"+i);
                var onitem = getObj("submenu"+menuid+"item"+i+"on");
                var itemstyle = getStyleObj("submenu"+menuid+"item"+i);
                var onitemstyle = getStyleObj("submenu"+menuid+"item"+i+"on");
                itemstyle.top = (menuItemHeight) * (i-1);
                onitemstyle.top = (menuItemHeight) * (i-1);
				if (navigator.appName=="Microsoft Internet Explorer") {
                    itemstyle.cursor = "hand";
                    onitemstyle.cursor = "hand";
                }
                item.hilightitem = onitemstyle;
                onitem.hilightitem = onitemstyle;
                item.menuid = menuid;
                onitem.menuid = menuid;
                var url = menuURLs[menuid-1][i];
                item.url = url;
                onitem.url = url;
                item.onmouseover = overSubmenuItem;
                onitem.onmouseover = overSubmenuItem;
                item.onmouseout = outSubmenuItem;
                onitem.onmouseout = outSubmenuItem;
                item.onclick = clickSubmenuItem;
                onitem.onclick = clickSubmenuItem;
            }
        }
    }
}
function handleResize() {
  location.reload();
  return false;
}
if (document.layers) {
  window.onresize = handleResize;
}