k i 0 : (80