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];
		}
	}
}

function open_win(str,width,height){
 	pressWin = window.open(str,"Ensemble","width="+width+",height="+height+",resizable=yes,menubar=yes,scrollbars=yes")
}