//
// $RCSfile: global.js,v $
// $Revision: 1.2 $
// $Date: 2005/06/30 20:30:49 $
//

/*
* Returns a page element by its id in a non browser specific way.
*/
function getEl(id) {
    if (document.layers) { return document.layers[id]; }
    else if (document.all) { return document.all[id]; }
    else if (document.getElementById) { return document.getElementById(id); }
}
// code for window popups
function openWin(url) {
    var win = window.open(url,'newWindow','width=450,height=400,menubar=yes,location=no,statusbar=yes,personalbar=no,scrollbars=yes,resize=yes');
}