12 13 12 10 ’ /*