_:b415080837 . _:b415080837 "0"^^ .