k1 a * * 4 * '*