function open_window(url, width_def, height_def, name, scrollbars, resizable, titlebar, toolbar, menubar)
{
	var width = new String();
	var height = new String();

	new_window = window.open(url, name, "height=" + height_def + ", width=" + width_def + ", toolbar=" + toolbar + ", titlebar=" + titlebar + ", scrollbars=" + scrollbars + ", menubar=" + menubar + ", resizable=" + resizable);
	new_window.focus();
}