document.write('13400 ');