document.write('3070\n');