4142 ) ( 4972)