function OpenNewWindow(url, width, height) {
	miwin = window.open(url,"new","alwaysRaised=1,z-lock=1,toolbar=0,location=0,directories=0,status=1,menubar=0,scrollbars=0,width=" + width + ",height=" + height);
        miwin.focus();
}

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

function changeImages() {
	if (document.images && (preloadFlag == true)) {
		for (var i=0; i<changeImages.arguments.length; i+=2) {
			document[changeImages.arguments[i]].src = changeImages.arguments[i+1];
		}
	}
}