<!-- BEGIN MENU CODE -->
<!-- //modified by Michael Korican July 20, 2003

function change(color){
var el=event.srcElement
if (el.tagName=="INPUT"&&el.type=="button")
event.srcElement.style.backgroundColor=color
}

function jumpto2(url){
window.location=url
}

//-->

<!-- END MENU CODE -->