12 , 13 * ) ] ^.