let rec formatSJ res i k =
 if i=0 then res else formatSJ (";"^(string_of_char (formatS k).[i])^res) (i-1) k