[stdout]
239094000 1879557 (39849, 6000)
