window.onload =function(){
	var myImg = document.getElementById("thumbs").getElementsByTagName("img");
	var defsrc = "images/img1.jpg";
	var regrep = "_thumb";
	var newimg = new Array();
	for (var i = 0; i <myImg.length; i++) {
		newimg[i] = new Image();
		newimg[i].src = myImg[i].src;
		myImg[i].onmouseover =function() {
			var href = this.src.replace(regrep,"");
				document.getElementById('myImg').src=href;
		}
		
	}
	 document.getElementById("view").onmouseover =function() {
		document.getElementById('myImg').src=defsrc
	}
}