_:b427858072 . _:b427858072 "0"^^ .