So for a double bed sheet, duvet cover and 4 pillow cases - would you put the whole lot in the washing machine or would you consider that over loading?