(stdin)= 96f047b078115d987ae34c96ce0c0560