function input_filter_num_key ()
{
   if (event.keyCode != "0x0D") {
        return /\d/.test (String.fromCharCode (event.keyCode));
   } else {
        return (true);
   }
}

function input_filter_num_paste(obj)
{
  return false;
}