document.write('3142 ');