HASH(0x7fedc2654ad0)