print(readline().replace(/(30?|9) ../,'$1'))