i * K ; ot32