dollars ( öfver en half milliard kr ).