import re, xreadlines, sys

for line in xreadlines.xreadlines(sys.stdin):
    m = re.search(r"^(\d+)$",line)
    if m:
        print 'Number*1000=',eval(m.group(1))*1000
    else:
        print line,