if (document.getElementById('article_cnt_712')) document.getElementById('article_cnt_712').innerText='5205';