function menu_link(img, idm, k)
	{
		if(k == 1) document.getElementById(idm).src="images/"+img+"_.gif";
		if(k == 0) document.getElementById(idm).src="images/"+img+".gif";
	}
