sedelvexling ; 770,000 kr.