NumIntKHK
