HASH(0x7fedbe5d7230)