HASH(0x7f5ce3bac0d0)