80KREXT0 ( 3000 t- , ns ) KIA I.T4 » (3000