document.write('6000');
document.write('');