// Originales HTML-Rendering, vermeidung von JS-Fehlern

function menu1_over(obj) {}
function menu1_out(obj) {}
function menu2_over(obj) {}
function menu2_out(obj) {}