// JavaScript Document
function setImageSize(){

var targetwidth=310;

var images = document.getElementById('mainContent').getElementsByTagName('img');
var numimages = images.length;


for (var i = 0; i < numimages; ++i) {
var height = images[i].height;
var width = images[i].width;

 if(width>targetwidth){
images[i].width=targetwidth;
images[i].height=(height/100)*(100-((width-targetwidth)/(width/100)));
 }
}

}