function over(a)
{
    a.style.background = "#CEE7FF";
    a.style.color = "white";
}
function out(a)
{
    a.style.background = "#99CCFF";
    a.style.color = "white";
}