// JavaScript Document

function prod_over(id)
{
	document.getElementById(id).style.background = "white";
	document.getElementById(id).style.color = "red";
	
	document.getElementById(id).firstChild.firstChild.style.color = "red";
}

function prod_out(id)
{
	document.getElementById(id).style.background = "none";
	document.getElementById(id).style.color = "black";
	
	document.getElementById(id).firstChild.firstChild.style.color = "#5A80A3";
}