document.write('6142 ');