document.write('工人先锋号')