document.write('3102');
document.write('');