i0 = new Image();
i1 = new Image();
i2 = new Image();
//i0.src = "/map/show_map.php?zoom=3&map=1";
//i1.src = "/map/show_map.php?zoom=2&map=1";
//i2.src = "/map/show_map.php?zoom=1&map=1";
i0.src = "/images/map3.gif";
i1.src = "/images/map2.gif";
i2.src = "/images/map1.gif";

function changeView(position)
{

	document.view1.src = eval('i' + position + '.src');
}