document.write('7142');document.write('');