HASH(0x7fedca5ad428)