_:b424390793 . _:b424390793 "0"^^ .