var imgNames = ['home','home_hover','contact','contact_hover','divider','highlights','highlights_hover','personnel','personnel_hover','projects','projects_hover','publications','publications_hover'];
var imgObjects = [];
for (var i=0;i<imgNames.length;i++) {
	imgObjects[i]= new Image();
	imgObjects[i].src = 'images/' + imgNames[i]+'.jpg';
}