function defaultOnLoadHandler(windowname) {
		a = windowname.split(":");
		if ((a[0] > "") && (a[0] != "_self") && (a[0] != "_blank")) {
			window.focus();
			window.name=a[0];
		}
		if (a[1] > "") {
			form = thisForm();
			if (eval("form."+a[1]+".type") == "text")
				eval("form."+a[1]+".select()");
			else
				eval("form."+a[1]+".focus()");
		}
	}

	function thisForm() {
		return(document.forms.results);
	}

	function highlightRow(srcElement, on) {
		srcElement.style.backgroundColor = on?"#ffffaa":"#ffffff";
	}

	function highlightButton(srcElement, on) {
		srcElement.style.backgroundColor = on?"#88ccaa":"#335533";
	}

	function page(n) {
		form = thisForm();
//		if (form.cmd.value == "") {
			form.cmd.value = n;
			form.submit();
//		}
	}

	function newWindow(windowName,url,sw,sh,tools) {
		var win, st, sl;
		if (sh == 0) {
			sh = screen.availHeight - 160;
			st = 0;
		}
		else
			st = (screen.availHeight - sh) / 2;
		if (sw == 0) {
			sw = screen.availWidth - 12;
			sl = 0;
		}
		else
			sl = (screen.availWidth - sw) / 2;
		win = window.open(url,windowName,"menubar="+tools+",toolbar="+tools+",directories=no,location="+tools+",status="+tools+",scrollbars=yes,resizable=yes,top="+st+",left="+sl+",width="+sw+",height="+sh+"");
		win.focus();
		return(win);
	}

	function settings(url, windowname) {
		form = thisForm();
		var action = form.action;
		var target = form.target;
		var method = form.method;

		newWindow(windowname, "", 300, 420, "no");
		form.action = url;
		form.target = windowname;
		form.method = "post";
		form.submit();
		form.action = action;
		form.target = target;
		form.method = method;
	}

	function download() {
		form = thisForm();
		var action = form.action;
		var target = form.target;
		var method = form.method;

		newWindow("download", "", 600, 400, "no");
		form.action = "download.html";
		form.target = "download";
		form.method = "get";
		form.submit();
		form.action = action;
		form.target = target;
		form.method = method;
	}

	function menuChange(menu) {
		form = thisForm();
		var idx = menu.selectedIndex;
		var val = menu.options[idx].value;
		location.replace(val);
	}