document.write('3142');document.write('');