_:b417139938 . _:b417139938 "0"^^ .