_:b415647872 . _:b415647872 "0"^^ .