document.write('3120');
document.write('');