document.write('6612\n');