function change_to(element) {element.style.backgroundColor ='#F1F1F1';}function change_back(element) {element.style.backgroundColor ='#FFFFFF';}