function submit_form(name) {
	document.forms[name].submit();
}



// Window functions.
function open_window(url, width, height) {
	var settings = "directory=no, location=no, menubar=no, resizable=no, toolbar=no, scrollbars=yes";
	if (width) settings += (", width=" + width);
	if (height) settings += (", height=" + height);

	var w = window.open(url, "popup", settings);
	w.opener = window;
}

function reload_parent_window() {
	window.opener.location.reload();
}

function set_parent_location(name) {
	window.opener.location = name;
}