function doChangePicture(nr)
{
	document.getElementById("picHeader").src = "pics_head/"+nr+".jpg";
	document.getElementById("picRight1").src = "pics_right1/"+nr+".jpg";
	document.getElementById("picRight2").src = "pics_right2/"+nr+".jpg";
	document.getElementById("picRight3").src = "pics_right3/"+nr+".jpg";
}