function wopen(theURL,winName,features) {
  window.open(theURL,winName,features);
}

function navSn(num, over)
{
	var act = (over) ? "_act.gif" : ".gif";
	document.images['Sn'+num].src = "images/pfeil_black" + act;
}