window.onload = function(){
	var rootNode = document.getElementById("contents");
	var imgTag = rootNode.getElementsByTagName("img");
	for (var i=0; i<imgTag.length; i++){
		imgTag[i].onmouseover = function(){
			this.src = this.src.split(".jpg")[0]+"_over.jpg";
		}
		imgTag[i].onmouseout = function(){
			this.src = this.src.split("_over.jpg")[0]+".jpg";
		}
	}
}