HASH(0x7fedfe5fca30)