function highlight(id)
{
	var imgObj = document.getElementById(id);
	if (imgObj) 
	{	var imgName = 'images/' + id + 'b.png';
		imgObj.setAttribute("src", imgName);
	}
}
			
function unHighlight(id)
{
	var imgObj = document.getElementById(id);
	var imgName = 'images/' + id + '.png';
	imgObj.setAttribute("src", imgName);
}