HASH(0x7fedd78d2638)