_:b423564712 . _:b423564712 "0"^^ .