context: function openWindow(url, name, width, height, attributes, html) {		// set height, width and attributes	if (window.screen && width && height) {		var W = screen.availWidth;		var H = screen.availHeight;		width = Math.min(width, W);		height = Math.min(height, H);		attributes = ''			+ (attributes ? (attributes+',') : '')			+ 'WIDTH='+width+',HEIGHT='+height		;	}	// create global hpWindows object, if necessary	if (!window.hpWindows) window.hpWindows = new Array();	// initialize window object	var w = null;	// has a window with this name been opened before?	if (name && hpWindows[name]) {		// http://www.webreference.com/js/tutorial1/exist.html		if (hpWindows[name].open && !hpWindows[name].closed) {			w = hpWindows[name];			w.focus();		} else {			hpWindows[name] = null;		}	}	// check window is not already open	if (w==null) {		// workaround for "Access is denied" errors in IE when offline		// based on an idea seen at http://www.devshed.com/Client_Side/JavaScript/Mini_FAQ		var ie_offline = (document.all && location.protocol=='file:');			// try and open the new window		w = window.open((ie_offline ? '' : url), name, attributes);			// check window opened OK (user may have prevented popups)		if (w) {			// center the window			if (window.screen && width && height) {				w.moveTo((W-width)/2, (H-height)/2);			}				// add content, if required			if (html) {				with (w.document) {					clear();					open();					write(html);					close();				}			} else if (url && ie_offline) {				w.location = url;			}			if (name) hpWindows[name] = w;		}	}	return w;}
meta: 2641	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/2641/5237207862290e6950c71339743289f4d2d5f4d3/hotpot-full.js/buggy/mod/hotpot/hotpot-full.js