document.write('7680');
document.write('');