document.write('7699');
document.write('');