var docObjs=new Array()

function getObject(idname,forcefetch){
	if (forcefetch||typeof(docObjs[idname])=="undefined")
			docObjs[idname]=document.getElementById(idname)
	return docObjs[idname]
	}

function wOpen(wURL,wName,width,height){
	wX=100;
	wY=100;
	wOpt="toolbar=0,location=0,directories=0,status=0,menubar=0,scrollbars=1,resizable=1,copyhistory=0,dependent=1";
	wOStr=wOpt+",width="+width+",height="+height+",top="+wY+",left="+wX;
	window.open(wURL,wName,wOStr)
	}