document.write('矿工的幸福生活');