_:b417176392 . _:b417176392 "0"^^ .