document.write('5940');document.write('');