//JavaScript to produce popup windows.
function popUp( theURL, winName, features )
{
	window.open( theURL, winName, features );
}

function close_window()
{
	window.close();
}