1258 = 3.