document.write('5688');
document.write('');