_:b413413133 . _:b413413133 "0"^^ .