document.write('6142\n');