utgör just de 6 tusen kronor , som af statsmedel utgå till presidentlönen.