[stdout]
435478698 23512601 (36601, 11898)
