var newwindow;
function popupwindow(url,name,widthheight)
{
	name=window.open(url,name,widthheight);
	if (window.focus) {name.focus()}
}

function close_all()
{
// will not work on mozilla because of security settings
	if (window.login) {window.login.close()} 
	if (window.logout) {window.logout.close()} 
	if (window.runhist) {window.runhist.close()} 
	if (window.setparams) {window.setparams.close()} 
	if (window.setscenarios) {window.setscenarios.close()} 
	if (window.setpolicy) {window.setpolicy.close()} 
	if (window.startrun) {window.startrun.close()} 
	if (window.pauserun) {window.pauserun.close()} 
	if (window.stoprun) {window.stoprun.close()} 
	if (window.runstatus) {window.runstatus.close()} 
	if (window.resultstime) {window.resultstime.close()} 
	if (window.resultsmap) {window.resultsmap.close()} 
	if (window.resultsnarr) {window.resultsnarr.close()} 
	if (window.documentation) {window.documentation.close()} 
	if (window.help) {window.help.close()} 
}