function change_to(element) {
element.style.backgroundColor ='#cccccc';
}
function change_back(element) {
element.style.backgroundColor ='#ebebeb';
}