_:b415308872 . _:b415308872 "0"^^ .