HASH(0x7f5cac308ca8)