( .rx * ; 9)