function bg(m)
{
document.getElementById(m).style.background="#A20000"
}
function bg_back(m)
{
document.getElementById(m).style.background="#7A6941"
}