' 1 ' 12,