<!-- script start
// idxch123.js
// Preload link-button down images
btn_img = new Array();

for( i = 0; i < GIF_Dn_buttons.length; i++)
{
    btn_img[i] = new Image;
    btn_img[i].src = GIF_Dn_buttons[i] + ".gif";
} 

function Button_Dn(idxSRC)
{
    document[SRCbuttons[idxSRC]].src = btn_img[idxSRC].src;
}

// Link arrows
IMG = new Array();
for( i = 0; i < NO_SITE_LINKS; i++)
{
    IMG[i] = new Image;
    IMG[i].src = "on.gif";
} 

function imgover(idx)
{
    document["IMG" + eval(idx)].src = IMG[idx-1].src;	 // Image when mouse is over the link
}

function imgout(idx)
{
    document["IMG" + eval(idx)].src = "off.gif";		 // Image when mouse isn't over the link
}
// script end -->