/* package whatever; // don't place package name! */
 
import java.util.*;
import java.lang.*;
import java.io.*;
import java.text.*;
 
/* Name of the class has to be "Main" only if the class is public. */
class Ideone
{
	public static void main (String[] args) throws java.lang.Exception
	{
		NumberFormat fmt = NumberFormat.getCompactNumberInstance(Locale.CANADA_FRENCH, NumberFormat.Style.SHORT);
		String result = fmt.format(13010);
		System.out.println(result);
	}
}

LyogcGFja2FnZSB3aGF0ZXZlcjsgLy8gZG9uJ3QgcGxhY2UgcGFja2FnZSBuYW1lISAqLwoKaW1wb3J0IGphdmEudXRpbC4qOwppbXBvcnQgamF2YS5sYW5nLio7CmltcG9ydCBqYXZhLmlvLio7CmltcG9ydCBqYXZhLnRleHQuKjsKCi8qIE5hbWUgb2YgdGhlIGNsYXNzIGhhcyB0byBiZSAiTWFpbiIgb25seSBpZiB0aGUgY2xhc3MgaXMgcHVibGljLiAqLwpjbGFzcyBJZGVvbmUKewoJcHVibGljIHN0YXRpYyB2b2lkIG1haW4gKFN0cmluZ1tdIGFyZ3MpIHRocm93cyBqYXZhLmxhbmcuRXhjZXB0aW9uCgl7CgkJTnVtYmVyRm9ybWF0IGZtdCA9IE51bWJlckZvcm1hdC5nZXRDb21wYWN0TnVtYmVySW5zdGFuY2UoTG9jYWxlLkNBTkFEQV9GUkVOQ0gsIE51bWJlckZvcm1hdC5TdHlsZS5TSE9SVCk7CgkJU3RyaW5nIHJlc3VsdCA9IGZtdC5mb3JtYXQoMTMwMTApOwoJCVN5c3RlbS5vdXQucHJpbnRsbihyZXN1bHQpOwoJfQp9