document.write('12288 ');