_:b423057202 . _:b423057202 "0"^^ .