5 ( 7142 .)