A waiter had some customers. After 9 customers left he still had 12 customers. How many customers did he have at the start?