(*= x6. #= x24.