12 9 13 « 15 & lt;