document.write('3612\n');