_:b417385143 . _:b417385143 "0"^^ .