J [ 12585 .)