JK^{[ 472]}