HASH(0x7f5cdd140868)