document.write('5692');
document.write('');