document.getElementById("artcon").innerHTML=1251;