äro dook — såsom i tidningarne omtalats — 6,300 kr.