(stdin)= 08ac8747e24fcbc4b715bf4ef0c9c23f