HASH(0x7fee00582dd0)