function swapImg(object, sr) {
	document[object].src = sr;
}
if (typeof(menuID) != "undefined") {
	var menuBild = '<img src=\"../../images/' + menuID + '.gif\" width=\"230" height=\"26" \
		border=\"0\" usemap="#menu_a-z" name="menu" id="menu" alt="Menu">';
}

function swapMenu(menuID) { 
	document.menu.src = '../../images/' + menuID + '.gif';
}

function NewWindow(mypage, myname, w, h) {
var winl = (screen.width - w) / 2;
var wint = (screen.height - h) / 2;
winprops = 'height='+h+',width='+w+',top='+wint+',left='+winl+',resizable=no'
win = window.open(mypage, myname, winprops)
if (parseInt(navigator.appVersion) >= 4) { win.window.focus(); }
}