— 12 kr- 9 * * * * "'