hot-pressed, price 5s.".