9^ * 0 12.