var Ji = new Array();
Ji[1] = '1007';
Ji[2] = '1008';
Ji[3] = '1009';
Ji[4] = '1010';
Ji[5] = '1011';
Ji[6] = '1012';
Ji[7] = '1013';
Ji[8] = '1014';
Ji[9] = '1015';
Ji[10] = '1017';
Ji[11] = '1860';
Ji[12] = '2373';
Ji[13] = '2840';