<script language="JavaScript" type="text/javascript">
<!--
function open_pgp_win(url)
{
    var now = new Date();
    var name = "openpgp_window_" + now.getTime();
    param = "toolbar=no,location=no,status=yes,scrollbars=yes,resizable=yes,width=450,height=200,left=0,top=0";
    eval("name = window.open(url, name, param)");
    if (!eval("name.opener")) {
        eval("name.opener = self");
    }

}
// -->
</script>
