HASH(0x7fedc256ccb0)