_:b413415139 . _:b413415139 "0"^^ .