HASH(0x7f3880059520)