document.write('5142');document.write('');