17 12 7 519 256