Norska statsbanornas trafikinkomster utgjorde tor juli månad kr.