/* menu.js */
function newImage(arg) {
	if (document.images) {
		rslt = new Image();
		rslt.src = arg;
		return rslt;
	}
}

function changeImages(object,naam,bOver) {
	element=document.getElementById(naam);
	element.src="img/menu/"+naam;
	if(bOver) element.src+="-over";
	element.src+=".gif";
}
/* popitup.js */
function popitup(url) {
	newwindow=window.open(url,'name','height=677,width=320');
	if (window.focus) {newwindow.focus()}
	return false;
}