HASH(0x7f5cc42cc438)