/* 画像切り替え */
function ch_img(id,url)
{
	var pic=document.getElementById(id) ;
	pic.src=url ;
}