HASH(0x7fedc26d8540)