_:b424080145 . _:b424080145 "0"^^ .