sen utgör , enligt hvad man nu vet , 9,273 kr.