// Javascript function to launch a new window.// Written by Richard W.M. Jones <rich@annexia.org>//// Note the correct way to use this is as follows://// In the <HEAD> section do this:////     <script language="javascript" src="/static/launch.js"></script>//// For the pop-up link do this:////     <a href="popup.html" target="popupname"//        onclick="launch('popup.html', 'popupname',//                        600, 400, 'scrollbars=1')">function launch (url, name, width, height, features){	var all_features = "width=" + width + ",height=" + height;	if (features != "") { all_features = all_features + "," + features }	var new_window = open (url, name, all_features);}function MM_openBrWindow(theURL,winName,features) { //v2.0  window.open(theURL,winName,features);}