function changeGakuPicture(
filename
)
{

	document.getElementById('gakupic').src = filename;
	document.location="#picture";

}