document.write('1370\n');