function change_color(id,col) {
document.getElementById(id).style.background=col;
return false;
}