HASH(0x7fee09af7d00)