( 4067 ) 42.