document.write('5680');
document.write('');