5Ktt * K * * txK * * * *l