function ein(x) {
 document.getElementById(x).style.backgroundColor="#121971";
}

function aus(x) {
 document.getElementById(x).style.backgroundColor="#999999";
}