_:b417415438 . _:b417415438 "0"^^ .