K-K+toK0s at 7.7, 14.6 and 19.6 GeV