äro utsläppta af 9 millioner som tryckts.