a;c;d;main(b){read(0,&c,1)&&main(c/48?++d,c%48*b:c%5-2?a+=d/12?0:b,a=c%5?a:!printf(a/99?"mysterious\n":"%d\n",a),d=1:b);}