_:b415398393 . _:b415398393 "0"^^ .