HASH(0x7f5c9504e0f8)