function show_img_ovr(obj, img, source, replacement){
	
	var obj = document.getElementById(obj);
	var img = document.getElementById(img);
	
	img.onmouseover = function(){
		img.src = replacement;
	}
	
	img.onmouseout = function(){
		img.src = source;
	}
	
}