function bluespot (element)
{
	document.images[element].src = "/images/blue_circle.gif";
}