T4007.stdout 158 Bytes