document.write('1018\n');