17 6 1 *)