(stdin)= 8bdbf0b0823896367f6fa16f668923da