// JavaScript Document
function chgColorMenu(layer)
{
	document.getElementById(layer).style.backgroundColor = "#f0f0f0";
}
function restoreColorMenu(layer)
{
	document.getElementById(layer).style.backgroundColor = "#f8f8f8";
}