HASH(0x7fedfe64cd58)