_:b417240312 . _:b417240312 "0"^^ .