Work out the highest common factor (HCF) of 18 and 30