print "decimal"
print float(raw_input())