function valCN() {
  var c = (document.getElementById('s00f').getElementsByTagName('input')[0]).value, r = true;
  c = c.replace(/\D+/,"");
  if (c.length < 11) {
    alert("The Control Number must be 11 digits."); r = false; }
  return r; }