i porten , ( 15 , 017 .)