Tomten kostade 7.500 kr.