int res = 13 * 100 + 12;
res = res * 2 / 2;