function over(id) { document.getElementById(id).className = "punkt_over"; }
function out(id) { document.getElementById(id).className = "punkt_out"; }