window.onload = function(){
	
	var imgs = document.getElementsByName("nav_img");
	
	for(var i = 0; i < imgs.length; i++){
	
		imgs[i].onmouseover = over;
		imgs[i].onmouseout = out;		
		preloader = new Image;
		preloader.src = imgs[i].src.replace(/.gif/, "2.gif");
	}
	
}
function over(){
	this.src = this.src.replace(/.gif/, "2.gif");
	
}
function out(){
	this.src = this.src.replace(/2.gif/, ".gif");
}