_:b417240314 . _:b417240314 "0"^^ .