document.write('6143 ');