HASH(0x7f5cddb3d328)