(stdin)= ae42f69cefdcfc429b8a07afe5aed2a0