kr , 17 , 233 , 127.