<!-- 
if (document.images) {
image2on = new Image();
image2on.src = "/images/red_arrow02.gif";
image2off = new Image();
image2off.src = "/images/arrow02.gif";
} 
function changeimages() {
if (document.images) {
for (var i=0; i<changeimages.arguments.length; i+=2) {
document[changeimages.arguments[i]].src = eval(changeimages.arguments[i+1] + ".src");
}}} 
// -->