if (document.images) {
     var portfolio4= new Image();
     portfolio4.src="img/Portfolio/portfolio4.jpg"; 
	 var portfolio5= new Image();
     portfolio5.src="img/Portfolio/portfolio5.jpg"; 
	 var portfolio6= new Image();
     portfolio6.src="img/Portfolio/portfolio6.jpg"; 
     var portfolio9= new Image(); 
     portfolio9.src="img/Portfolio/portfolio9.jpg";  
     var portfolio10= new Image(); 
     portfolio10.src="img/Portfolio/portfolio10.jpg";  
     var portfolio11= new Image(); 
     portfolio11.src="img/Portfolio/portfolio11.jpg";   
}
/* no need to edit past this point (unless you want to add more image slots) */

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

 }
}