HASH(0x7f1380584300)