17 , och lyder sålunda: