Change the default value of k to 9