_:b415397892 . _:b415397892 "0"^^ .