added int k.