function set_bgcolor(element){
	document.getElementById(element).style.backgroundColor='#444444';
}

function reset_bgcolor(element){
	document.getElementById(element).style.backgroundColor='#000000';
}