document.write('3247\n');