document.write('22042\n');