var imageFiles = new Array();
imageFiles['0'] = new Array ('media/images/navbar0.gif', 'media/images/navbar0m.gif');
imageFiles['1'] = new Array ('media/images/navbar1.gif', 'media/images/navbar1m.gif');
imageFiles['2'] = new Array ('media/images/navbar2.gif', 'media/images/navbar2m.gif');
imageFiles['3'] = new Array ('media/images/navbar3.gif', 'media/images/navbar3m.gif');
imageFiles['4'] = new Array ('media/images/navbar4.gif', 'media/images/navbar4m.gif');
imageFiles['5'] = new Array ('media/images/navbar5.gif', 'media/images/navbar5m.gif');
imageFiles['6'] = new Array ('media/images/navbar6.gif', 'media/images/navbar6m.gif');
imageFiles['7'] = new Array ('media/images/navbar7.gif', 'media/images/navbar7m.gif');
imageFiles['8'] = new Array ('media/images/navbar8.gif', 'media/images/navbar8m.gif');

function image_on (position) {
   var doc = eval("document.navbarimage" + position);
   doc.src = imageFiles[position][1];
}

function image_off (position) {
   var doc = eval("document.navbarimage" + position);
   doc.src = imageFiles[position][0];
}