function ov() {
var tx_titletext = document.getElementById("tx_title1");
tx_titletext.setAttribute("style", "display:block")
}
function ou() {
var tx_titletext = document.getElementById("tx_title1");
tx_titletext.setAttribute("style", "display:none")
}
