(COLOR W1 ?x)