document.write(' 6143 ');