HASH(0x7fededb0d470)