dollars ( 11 , 250 , 000 kr.