//
// JavaScript-functions for general use
//

function NewWindow(a_file,a_width,a_height)
{
	win = window.open(a_file, "ZEW", "width="+a_width+",height="+a_height+",resizable=yes,scrollbars=yes,status=yes,menubar=yes");
	win.focus();
}