HASH(0x7f5ce405ef38)