function changeimage(a)
{
	document.images[1] .src="images/"+a+".gif"
}