python set -- hash