_:b424183643 . _:b424183643 "0"^^ .