6257 = 1