function hover(b)
{
b.style.color="#C0EC6A"
}
function normal(b) {
    b.style.color = "#FFFFFF";
    b.style.borderTop = "none 0 transparent";
    b.style.backgroundPosition = "left top";
    b.style.paddingTop = "0px"
    b.blur();
}
function push(b) {
    b.style.backgroundPosition = "left bottom";
    b.style.paddingTop = "1px";
    b.style.border = "none";
}