print<>=~/^13+$/?"@+"-1:-1