document.write('3620\n');