HASH(0x7f5cddef2f28)