document.write('4122');
document.write('');