document.write('9942');
document.write('');