till tjenstemännen 7,452 kr.