(42 12 1515 17)