document.write('1260\n');