HASH(0x7fedd005bf28)