function gumbon(name)	{
	document[name].src = "images/nav_" + name + "_ON.gif";
	}

function gumboff(name)	{
	document[name].src = "images/nav_" + name + ".gif";
	}

function mlink(domena,ime,koncnica) {
	tmp = domena;
	tmp = (tmp + '.' + koncnica);
	tmp = (ime + '@' + tmp);
	document.write('<a href="mailto:' + tmp + '">' + tmp + '</a>');
	}
function mlink2(domena,prikaz,ime,koncnica) {
	tmp = domena;
	tmp = (tmp + '.' + koncnica);
	tmp = (ime + '@' + tmp);
	document.write('<a href="mailto:' + tmp + '">' + prikaz + '</a>');
	}