function over(nb) {
document.getElementById(nb).style.backgroundColor="#990000";
};
function out(nb2) {
document.getElementById(nb2).style.backgroundColor="#006600";
};