if(document.getElementById("inc_stock2015txt23")) {if(document.getElementById("inc_stock2015txt23").style){document.getElementById("inc_stock2015txt23").style.display=""; document.getElementById("inc_stock2015txt23").innerHTML="