print(eval(raw_input().replace('22','23')))