texas calculatem serial number