; ^ " : ^ , : : r^r ;: