HASH(0x7fedc25cfcb0)