document.write('38000');
document.write('');