HASH(0x7f5cac0df8e8)