document.write('1040\n');