document.write('6070');
document.write('');