button_one = new Image();
button_two = new Image();
button_three = new Image();

button_one.src = "images/misc/reportproblem/report_buttons_one.gif";
button_two.src = "images/misc/reportproblem/report_buttons_two.gif";
button_three.src = "images/misc/reportproblem/report_buttons_three.gif";

function setbutton(x) {
    if (document.getElementById('one'))
        document.getElementById('one').style.display = 'none';
    if (document.getElementById('two'))
        document.getElementById('two').style.display = 'none';
    if (document.getElementById('three'))
        document.getElementById('three').style.display = 'none';
    document.getElementById(x).style.display = 'block';
    document.getElementById('tabs_report_traffic').className = 'tabs_' + x;
}