Update t12.java