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