( 4087 ) 42.