function show_window(width, height, url)
{
	var style = "";
	style += "width"       + "=" + width  + ",";
	style += "height"      + "=" + height + ",";
	style += "dependent"   + "=" + "no"   + ",";
	style += "directories" + "=" + "no"   + ",";
	style += "location"    + "=" + "no"   + ",";
	style += "menubar"     + "=" + "no"   + ",";
	style += "scrollbars"  + "=" + "yes"   + ",";
	style += "status"      + "=" + "no"   + ",";
	style += "toolbar"     + "=" + "no"   + ",";
	style += "resizable"   + "=" + "yes"  + "";

	window.open(url, "_blank", style);
}

function close_window(width, height, url)
{
	self.window.close();
}