document.write('11241\n');