( a 17 6)