13ff^k 10 ] *.