_:b425542133 . _:b425542133 "0"^^ .