Update a record in the customer database of a given company according to the instructions.
The record for customer 'John Smith' has been updated in the customer database of ABC Limited by changing the contact number.