Input: John not left the town.
Output: 0