user[8]='-';
user[9]=user[7];
user[9]^=(len(user)*user[6]);
user[9]%=0x0A;
user[10]=user[8]-user[9];
user[9]+=0x30;
user[10]^=user[9];
user[10]%=0x0A;
user[10]+=0x30;
user[11]=user[4];
user[11]^=user[3];
user[11]%=0x0A;
user[11]+=0x30;