<!--
function openWindow() {
WW = (screen.width-300)/2
HH = (screen.height-100)/2
win = window.open("credits.html","popup","scrollbars=no,top="+HH+",left="+WW+", width="+300+",height="+200+",status=no,location=no,toolbar=no,menubar=no");
win.focus();
}

function navOver(elem,link)
{ elem.style.backgroundColor = "#ff0000"; link.style.color = "#000000"; }

function navOut(elem,link)
{ elem.style.backgroundColor = "#666666"; link.style.color = "#ffffff"; }

function navDown(elem,link)
{ elem.style.backgroundColor = "#ff0000"; link.style.color = "#000000"; }

function navUp(path)
{ location.href = path; }
//-->