HASH(0x7f3877b60f60)