HASH(0x7f5ce27b7210)