s * 9 \svK