function change_image(idTarget, idSource){
	try{
		var t = document.getElementById(idTarget);
		var s = document.getElementById(idSource);
		t.src = s.src;
	}catch(e){
		alert(e.message);
	}
}

function new_image(idx){
	change_image('BigImage', 'SmallImage'+idx);
}