int(80047)