( 3742 ) .5.