var image1 = new Image();
image1.src = "images/navi_nach_h.gif";
var image2 = new Image();
image2.src = "images/navi_psych_h.gif";

function roll(img_name, img_src)
	{
	document[img_name].src = img_src;
	}