5 * | a J3 a.