The average of 10, 14, 17 and x is 15 – what is x?