RNF12FTD2K80, a part of the parts library