document.write('6344 ');