document.write('1247');
1