k * 17 .]