var $ = function(id) {
    return document.getElementById(id);
}
function ChangeDiv(id) {
    for (var i = 1; i < 5; i++) {
        $("text" + i).style.display = "none";
    }
    $("text" + id).style.display = "block";
}