12 17 r .)