window.onload = function(){var menu = document.getElementById('menu');var img = menu.getElementsByTagName('img');menu.onmouseout = function(){for(var i=0;i<img.length;i++){var src = img[i].src;if(src.indexOf('_over')!=-1) {var index = src.lastIndexOf('.');i...