HASH(0x7fedfe5ddc58)