document.write('1480\n');