42 870 ; 071