: j=S IS1 6 *)