så finner man att , sedan 12k$j stadgat,