document.write('1050\n');