\relax 
\newlabel{5}{{5}{3}}
\newlabel{6}{{6}{3}}
\newlabel{17}{{17}{12}}
\newlabel{18}{{18}{12}}