function img_hover(ind){s = document.getElementById("objekt_" + ind) if (s.style.display == 'none') {   s.style.display = 'block'; } else if (s.style.display == 'block') {   s.style.display = 'none'; }}
