HASH(0x7f5cdd18def8)