a +17 123 = 25 432;