
	function swapImg(img,over)
	{
		if (over)	var new_file = img.src.substr(0,img.src.length-5)+"2.png";
		else new_file = img.src.substr(0,img.src.length-5)+"1.png";
		img.src = new_file;
	}

  function popupImg(url,w,h)
	{
	  imgPop = window.open(url,"popImg","width="+w+", height="+h);
		imgPop.focus();
	}

