// JavaScript Document
function img_change(imgsrc)
	{
		//alert("hi");
		document.getElementById(imgsrc).src="squares_0_hl.gif";
	}
	
function img_restore(imgsrc)
	{
		document.getElementById(imgsrc).src="squares_0.gif";
	}