function popup_window (url, title, width, height) {
 fenster = window.open(url, title, "width=" + width + ",height=" + height + ",status=yes,scrollbars=yes,resizable=yes");
 fenster.focus();
}

function CheckNumericKeyInfo($char, $mozChar) {
    if($mozChar != null) 
    { 
        if($mozChar == 13) $RetVal = true;
        else {
                $RetVal = false;
             }
    }
    else 
    {
        if($char == 13) $RetVal = true;
        else {
                $RetVal = false;
             }
    }
    return $RetVal;
   }