[stdout]
79698000 1387173 (39849, 2000)
