import std.stdio,std.string;void main(){int x,n,k;for(char[]s;s=readln,s;)for(s[n=find(s,63)]=58,k=s[14]<11;x=8,s[n]-->48;x%(10+k)||writef(s))foreach(i,c;s)x+=c%30*(k?14-i:i%2*2+1);}
Note that non-ascii characters in the above source code will be escaped (such as \x9f).