5 , = kr 417 ,25-