document.write('3023\n');