12 ' ; ',