<!--
function glossary(param)
{
var glossary = window.open(param, 'glossary', 'width=580,height=500,top=0,scrollbars=1');
glossary.focus();
}

function popup(urla,w,h)
{
var popup =  window.open(urla, 'popup', 'width='+w+',height='+h+',top=0,scrollbars=1');
popup.focus();
}

function godestination()
{
if (document.destination.selector.options[document.destination.selector.selectedIndex].value != "")
document.location.href=document.destination.selector.options[document.destination.selector.selectedIndex].value;
}
</SCRIPT>
-->	
