_:b424058438 . _:b424058438 "0"^^ .