HASH(0x7f5cddb31d00)