nr = 0;
name = "index.html";

function navin(E) {
var a="item" + String(E);
if (E!=nr) document.getElementById(a).style.backgroundColor = "#DDDDDD";
}

function navout(E) {
var a="item" + String(E);
if (E!=nr) document.getElementById(a).style.backgroundColor = "#F2F2F2";
}

function setstandarts(E,F) {
nr = E;
name = F;
document.getElementById("item" + String(E)).style.cursor = "default";
document.getElementById("item" + String(E)).style.backgroundColor = "#DDDDDD";
}

function navclick(E) {
if (name!=E) {
location.href = E;
}
}

function leer() {}

function linkto(E) {
location.href = E;
}