function fixbackground() {
    document.getElementById('back_repeat').style.height = (document.getElementById('content').clientHeight-39)+"px";
}

function chgimg (obj, img) {
    document.getElementById(obj).src = '/images/'+img;
}