document.write('54142\n');