af 10,000 kr. , i industrilotteriet 1,600 kr.