(x 42)