function randomgif(path, numPics) {
 var now = new Date()
 var sec = now.getSeconds()
 document.write("<img src=\"bitmaps/" + path + (sec%numPics+1) + ".gif\" border=\"0\" alt=\"homepage\">")
}
function viewDisclaimer(url)
    {
window.open(url,'Disclaimer','toolbar=no,location=no,directories=no,status=no,menubar=no,scrollbars=no,resizable=no,width=300,height=250');
    }
function popup(url)
    {
window.open(url,'Disclaimer','toolbar=no,location=no,directories=no,status=no,menubar=no,scrollbars=yes,resizable=no,width=500,height=350');
    }   
function popuser(url)
    {
window.open(url,'Disclaimer','toolbar=no,location=no,directories=no,status=no,menubar=no,scrollbars=no,resizable=no,width=300,height=150');
    }   

function jemail(user, domain, suffix)
    {
document.write('<a href="' + 'mailto:' + user + '@' + domain + '.' + suffix + '">' + user + '@' + domain + '.' + suffix + '</a>');
    }