#!/usr/bin/env python

import re, fileinput

r_num = re.compile(r'[ \t]{,5}(\d{3})(?:\.|:| To)')
counter = iter(xrange(171, 531))

for line in fileinput.input(): 
   m = r_num.match(line)
   if m: 
      num = int(m.group(1))
      assert num == counter.next(), num

# EOF