window.onload =function(){
    var myImg = document.getElementById("thumbs").getElementsByTagName("img");
    var defsrc = "images/img01.jpg";
    var regrep = "_s";
    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
       
    }
}