, J [ 25517]