_:b417578542 . _:b417578542 "0"^^ .