num008.stdout 2.2 KB