HASH(0x7fedc65e6c60)