HASH(0x7fedc25e39d8)