function pull(menu) {

// Die folgenden 3 Zeilen sind fuer Netscape 6
if (document.getElementById) {
document.getElementById(menu).style.visibility="visible";

}
// Ende Netscape 6


if (document.all) {
document.all[menu].style.visibility="visible";

}

if (document.layers) {
document.layers[menu].visibility="visible";

}
}

function up(menu) {

// Die folgenden 3 Zeilen sind fuer Netscape 6
if (document.getElementById) {
document.getElementById(menu).style.visibility="hidden";

}
// Ende Netscape 6

if (document.all) {
document.all[menu].style.visibility="hidden";

}

if (document.layers) {
document.layers[menu].visibility="hidden";

}
}