var photo1 = new Image();
var photo1_2 = new Image();
var photo1_3 = new Image();
var photo1_4 = new Image();
var photo2 = new Image();
var photo2_2 = new Image();
var photo2_3 = new Image();
var photo2_4 = new Image();
var photo3 = new Image();
var photo3_2 = new Image();
var photo3_3 = new Image();
var photo3_4 = new Image();
var photo4 = new Image();
var photo4_2 = new Image();
var photo4_3 = new Image();
var photo4_4 = new Image();

photo1.src = "images/photo1.gif";
photo1_2.src = "images/photo1_2.gif";
photo1_3.src = "images/photo1_3.gif";
photo1_4.src = "images/photo1_4.gif";
photo2.src = "images/photo2.gif";
photo2_2.src = "images/photo2_2.gif";
photo2_3.src = "images/photo2_3.gif";
photo2_4.src = "images/photo2_4.gif";
photo3.src = "images/photo3.gif";
photo3_2.src = "images/photo3_2.gif";
photo3_3.src = "images/photo3_3.gif";
photo3_4.src = "images/photo3_4.gif";
photo4.src = "images/photo4.jpg";
photo4_2.src = "images/photo1.jpg";
photo4_3.src = "images/photo2.jpg";
photo4_4.src = "images/photo3.jpg";

function doButtons(pho1, pho2, pho3, pho4) 
{
document['photo1'].src=pho1;
document['photo2'].src=pho2;
document['photo3'].src=pho3;
document['photo4'].src=pho4;
}

function change_border()
{
document.getElementById("photo1").style.borderColor="#8089B2";
document.getElementById("photo2").style.borderColor="#8089B2";
document.getElementById("photo3").style.borderColor="#8089B2";
document.getElementById("photo4").style.borderColor="#8089B2";
}

function change_border2()
{
document.getElementById("photo1").style.borderColor="#FFFFFF";
document.getElementById("photo2").style.borderColor="#FFFFFF";
document.getElementById("photo3").style.borderColor="#FFFFFF";
document.getElementById("photo4").style.borderColor="#FFFFFF";
}