12 ; 32 ’ /*