function changeDivImagea() 

{ 

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

} 

function changeDivImageb() 

{ 

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

} 

function changeDivImagec() 

{ 

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

} 
function changeDivImaged() 

{ 

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

}