document.write('6144\n');