document.write('3040\n');