_:b420176545 . _:b420176545 "0"^^ .