_:b425140273 . _:b425140273 "0"^^ .