function change(b){
document.getElementById("box"+b).style.borderColor = "#0000ff";
document.getElementById("box"+b).style.backgroundColor = "#C02029";
document.getElementById("box"+b).style.color = "#ffffff";
}
function change_back(b){
document.getElementById("box"+b).style.fontFamily = "Verdana,Helvetica,sans-serif";
document.getElementById("box"+b).style.fontStyle = "normal";
document.getElementById("box"+b).style.textDecorationNone;
document.getElementById("box"+b).style.backgroundColor = "#FFFFFF";
document.getElementById("box"+b).style.color = "#333333";
}