document.write('1006\n');