//*** main.js

<!-- begin script

// string trim function
String.prototype.trim = function()
{
    return this.replace(/^\s*/, "").replace(/\s*$/, "");
}

// array 'contains' function
Array.prototype.contains = function( obj )
{
	for ( ii = 0; ii < this.length; ii++ )
	{
		if ( this[ii] == obj )
		{ // found
			return true;
		}
	}
	return false;
}

// generic popup window function
function dispWnd( url, top, left, width, height )
{
	var wnd = window.open( url, "",
		"width=" + width + ",height=" + height + ",top=" + top + ",left=" + left + ",resizable=yes, scrollbars" );
	if ( wnd != null )
	{ // set focus to new window
		wnd.focus();
	}
}

// end script -->