HASH(0x7fedfe5a6cf0)