function check_company() {
   if (document.getElementById("company").value != "")
      return false;
   else
      return true;
}