function change_image(obj){
	var large = document.getElementById('large_image');
	var href = obj.src.replace(/small\.gif/,'large.jpg');
	href = href.replace(/small/, 'large');
	large.src = href;
}