HASH(0x7f5d004ff3d8)