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