function imgmini(im) {
document.write('<img src="'+im+'" class="img_mini">');
}