HASH(0x7fedc25ebb18)