// function that (re)opens a navpop with URL (one navpop per page)
/*
 * popup (url, width, height)
 *
 */

function popup (url, width, height) {
  p = window.open( url,
		   window.name + "popup",
		   "toolbar=0," +
		   "location=0," +
		   "directories=0," +
		   "status=0," +
		   "scrollbars=1," +
		   "resizable=no," +
		   "width=" + width + "," +
		   "height=" + height );
  p.focus( );
}