<!--
graphic1menu_1 = new Image()
graphic1menu_1.src = '/buttons/button1b.gif';
graphic2menu_1 = new Image()
graphic2menu_1.src = '/buttons/button1a.gif';
function onmenu_1Over() {
document.menu_1.src=graphic2menu_1.src;
}
var vmenu_1 = false;
function onmenu_1Down() {
vmenu_1 = true;

document.menu_2.src=graphic1menu_2.src;
vmenu_2 = false;
document.menu_3.src=graphic1menu_3.src;
vmenu_3 = false;
document.menu_4.src=graphic1menu_4.src;
vmenu_4 = false;
}
function onmenu_1Out() {
if (vmenu_1) document.menu_1.src = graphic2menu_1.src;
else document.menu_1.src=graphic1menu_1.src;
}
//-->

<!--
graphic1menu_2 = new Image()
graphic1menu_2.src = '/buttons/button2a.gif';
graphic2menu_2 = new Image()
graphic2menu_2.src = '/buttons/button2b.gif';
function onmenu_2Over() {
document.menu_2.src=graphic2menu_2.src;
}
var vmenu_2 = false;
function onmenu_2Down() {
vmenu_2 = true;

document.menu_1.src=graphic1menu_1.src;
vmenu_1 = false;
document.menu_3.src=graphic1menu_3.src;
vmenu_3 = false;
document.menu_4.src=graphic1menu_4.src;
vmenu_4 = false;
}
function onmenu_2Out() {
if (vmenu_2) document.menu_2.src = graphic2menu_2.src;
else document.menu_2.src=graphic1menu_2.src;
}
//-->

<!--
graphic1menu_3 = new Image()
graphic1menu_3.src = '/buttons/button3a.gif';
graphic2menu_3 = new Image()
graphic2menu_3.src = '/buttons/button3b.gif';
function onmenu_3Over() {
document.menu_3.src=graphic2menu_3.src;
}
var vmenu_3 = false;
function onmenu_3Down() {
vmenu_3 = true;

document.menu_2.src=graphic1menu_2.src;
vmenu_2 = false;
document.menu_1.src=graphic1menu_1.src;
vmenu_1 = false;
document.menu_4.src=graphic1menu_4.src;
vmenu_4 = false;
}
function onmenu_3Out() {
if (vmenu_3) document.menu_3.src = graphic2menu_3.src;
else document.menu_3.src=graphic1menu_3.src;
}
//-->

<!--
graphic1menu_4 = new Image()
graphic1menu_4.src = '/buttons/button4a.gif';
graphic2menu_4 = new Image()
graphic2menu_4.src = '/buttons/button4b.gif';
function onmenu_4Over() {
document.menu_4.src=graphic2menu_4.src;
}
var vmenu_4 = false;
function onmenu_4Down() {
vmenu_4 = true;

document.menu_2.src=graphic1menu_2.src;
vmenu_2 = false;
document.menu_3.src=graphic1menu_3.src;
vmenu_3 = false;
document.menu_1.src=graphic1menu_1.src;
vmenu_1 = false;
}
function onmenu_4Out() {
if (vmenu_4) document.menu_4.src = graphic2menu_4.src;
else document.menu_4.src=graphic1menu_4.src;
}
//-->