document.write('3006\n');