document.write('3948\n');