HASH(0x7fedc665e2b8)