_:b412757392 . _:b412757392 "0"^^ .