document.write('6340 ');