(stdin)= ee0c26740491b5a64b7eea7bee73b801