function changeNaviImage(nr)
{
	pic = "../img/image" + nr + ".jpg";
	img = document.naviimg ;
	img.src = pic;
}