document.write('5242');
document.write('');