document.write('10240');
document.write('');