( a + 3500) - 1264 = 4233​