document.write('1020\n');