if (document.images) {
     var portfolio2= new Image(); 
     portfolio2.src="img/Portfolio/portfolio2.jpg"; 
     var portfolio12= new Image(); 
     portfolio12.src="img/Portfolio/portfolio12.jpg";  
     var portfolio13= new Image(); 
     portfolio13.src="img/Portfolio/portfolio13.jpg";  
     var portfolio15= new Image(); 
     portfolio15.src="img/Portfolio/portfolio15.jpg";  
     var portfolio17= new Image(); 
     portfolio17.src="img/Portfolio/portfolio17.jpg";  
     var portfolio18= new Image(); 
     portfolio18.src="img/Portfolio/portfolio18.jpg";  
}
/* no need to edit past this point (unless you want to add more image slots) */

function get_Image3(imgName)
{
 if (document.images)
 {
   	document.images['changer3'].src = 'img/Portfolio/' + imgName + '.jpg';

 }
}