HASH(0x7fedca65c528)