function img_on(i) { if (document.images) { document[i].src = "images/" + i + "_over.gif"; } }
function img_off(i) { if (document.images) { document[i].src = "images/" + i + ".gif"; } }