function check_user( dest_href, flag ){
	var	new_win;   // window object
	
	// create a window with no controls
	new_win = window.open("/eptroot/public/include/check_user.asp?dest_href=" + escape(dest_href), "", "directories=no,menubar=no,resizable=no,scrollbars=no,status=no,titlebar=no,toolbar=no,height=135,width=390");
	
	return;
}



function openEPTHome( login ){
	var new_win;	// window object
	var nw_frames;	// frame object


	// if the user is logged in, load the main page without the login capability
	if (login == true){
		var str;
		var i;

		new_win = window.open('/eptroot/eptedge/default.htm');
		nw_frames = new_win.frames;

		for (i = 0, str = ""; i < nw_frames.length; i++){
			str = str + " frame " + i + " is '" + nw_frames(i).name + "' at location '" + nw_frames(i).location + "'\n";
		}

		for (i = 0; i < 1000000; i++)
			{ i = i + 1 - 1; }

		//new_win.alert(str + "\n" + i);
		//new_win.alert("hello marty");

		nw_frames(1).location = "/eptroot/eptedge/navigation.asp?Expand=Miscellaneous";
	}
	else {
		// open the default EPT Home page in a seperate window
		new_win = window.open('/default.asp');
	}

	return;
}

function toggleDisplay( x )
{  if (x.style.display == "none")
      x.style.display = "inline"
   else
      x.style.display = "none"
}

function show( x )
{  // make sure property is defined before we change it
   if (typeof x.style.display != "undefined")
      x.style.display = "inline"
}

function hide( x )
{  // make sure property is defined before we change it
   if (typeof x.style.display != "undefined")
      x.style.display = "none"
}