HASH(0x7f5cddc4d368)