document.write('3018\n');