Input alleen nummers

<? Kleur
<script type="text/javascript">
var int_keys_only = function (event) {
  var c = event.key().string;
  if ("0123456789".indexOf(c) == -1) {
    /* unknown key pressed; ignore it */
    event.stop();
  }
}
</script>

<form method="GET" action="lookup_taxid">
Taxon id: <input type="text" size="7" name="tax_id" id="tax11"></input>
</form>
<script type="text/javascript">
connect("tax11", "onkeypress", int_keys_only);
</script>

<? Kleur
<script type="text/javascript">
var int_keys_only = function (event) {
  var c = event.key().string;
  if ("0123456789".indexOf(c) == -1) {
    /* unknown key pressed; ignore it */
    event.stop();
  }
}
</script>
 
<form method="GET" action="lookup_taxid">
Taxon id: <input type="text" size="7" name="tax_id" id="tax11"></input>
</form>
<script type="text/javascript">
connect("tax11", "onkeypress", int_keys_only);
</script>