/* $Id: nav.js 484 2005-10-04 23:58:21Z gfortune $ */

function popup(url)
{
	window.open(url, '', 'resizable=1,titlebar=0,menubar=0,toolbar=0,location=0,directories=0,status=1,scrollbars=1');
}
function openpage(url, title, myoptions)
{
	newwindow = window.open(url,title,myoptions);
	newwindow.focus();
}

function rewriteLinkForPopup(element_id, url)
{
	if(document.getElementById)
		document.getElementById(element_id).href = url;
}