document.write('3940');document.write('');