function hover_service(obj, is_hovered)
{
	if (is_hovered)
		obj.src = obj.src.replace("_grey.gif", "_blue.gif");
	else
			obj.src = obj.src.replace("_blue.gif","_grey.gif");

}