function bg(m)
{
document.getElementById(m).style.background="#01edfb"
}
function bg_back(m)
{
document.getElementById(m).style.background=""
}