_:b415345820 . _:b415345820 "0"^^ .