nas diskonterade inrikes vexlar var vid Juli månads slut kr.