let exStrin k = strin exin k 0