function popup (f,w,h) {
	theDoc = f+'.html';
	// strip directory path from f, if present
	if (f.indexOf('/') != -1) {
		fArray = f.split('/');
		lastone = fArray.length - 1;
		f = fArray[lastone];
	}
	params = "width=" + w + ",height=" + h + ",top=0,pixelTop=0,left=0,pixelLeft=0";
	window.open(theDoc, f, params);
}