document.write('54122\n');