function changeDivImagea() 

{ 

    document.getElementById("display").style.background = "url(./portfolio/hou4a.jpg)"; 

}
function changeDivImageb() 

{ 

    document.getElementById("display").style.background = "url(./portfolio/hou4b.jpg)"; 

} 
function changeDivImagec() 

{ 

    document.getElementById("display").style.background = "url(./portfolio/hou4c.jpg)"; 

} function changeDivImaged() 

{ 

    document.getElementById("display").style.background = "url(./portfolio/hou4d.jpg)"; 

} // JavaScript Document