document.write('3640\n');