docs: public static String getSInt( int Value, int CharsCount, char LeadingChar ) {
  		//
  		String Result = "";
  		//
  		if ( CharsCount <= 0 ) {
  			return getSInt( Value );
  		}
  		//
  		String FormatS = "";
  		if ( LeadingChar == '0' ) {
  			FormatS = "%" + LeadingChar + Integer.toString( CharsCount ) + "d";
  		}
  		else {
  			FormatS = "%" + Integer.toString( CharsCount ) + "d";
  		}
  		//
  		Result = String.format( FormatS, Value );
  		//
  		return Result;
  	}