<!--
function changpic(smallpic){
	document.getElementById('bigpic').src = smallpic.src;
}
//-->