Symbol: WMI_KRK_LEN