( - 23 * J7)