function darken(to_darken) {
    to_darken.style.background = "#dfdfdf";
}

function lighten(to_lighten) {
    to_lighten.style.background = "none";
}