HASH(0x7f1380a68d30)