HASH(0x7f5cce5a8dd0)