HASH(0x7fedf3865c50)