document.write('1220\n');