function act(imgName) {

  	if (document.images) 

    document[imgName].src = "./nav/dot_on.gif";

	}



function inact(imgName) {

  	if (document.images)

    document[imgName].src = "./nav/dot_off.gif";

	}



function act2(imgName) {

  	if (document.images) 

    document[imgName].src = "./nav/dot2_on.gif";

	}



function inact2(imgName) {

  	if (document.images)

    document[imgName].src = "./nav/dot2_off.gif";

	}

	

function chgOrt(Name,Zahl) {

  	if (document.images) 

    document[Name].src = "./nav/" + Name + Zahl + ".gif";

	}