var picture_current='1';
function change_picture(name) {
	if(name==picture_current) return;
	picture_current=name;
	document.getElementById('picture').src='image/picture/'+name+'.jpg';
}