* x k4 *4^