// JavaScript Document
function change_image(image,transition)
{
	if (transition=='over')
	{
		document.getElementById(image).src="images/"+image+"_blue.png";
	}
	else
	{
		document.getElementById(image).src="images/"+image+"_orange.png";
	}
}