import csv, sys
rdr = csv.reader(sys.stdin)
D_MAC, D_NAME = 0, 1
ADDR_FORM = '128.153.144.{}'
BIAS = 40
for row in rdr:
    mac, name = map(lambda i: row[i], (D_MAC, D_NAME))
    if name.lower().startswith('itl'):
        _, _, rest = name.partition('-')
        rest = int(rest)
        addr = ADDR_FORM.format(rest + BIAS)
        print(f'host {name}.cslabs.clarkson.edu {{ hardware ethernet {mac}; fixed-address {addr}; }}')