HASH(0x7f5ce254c2d8)