function header_change(img_url, a_id) {
document.getElementById("header1").style.color = "#ffffff";
document.getElementById("header2").style.color = "#ffffff";
document.getElementById("header3").style.color = "#ffffff";

document.getElementById("header_img").src = img_url;
document.getElementById(a_id).style.color = "#a55900";
}