function stub()
	{
     document.getElementById("d218").style.height = document.getElementById("d0050").offsetHeight + "px";
	}

function goRand() {
var num = 6;  // количество картинок
myImages = new Array();
myImages[0] = "/files/tcmloaders/equipment_ves_01.gif";
myImages[1] = "/files/tcmloaders/equipment_ves_02.gif";
myImages[2] = "/files/tcmloaders/equipment_ves_03.gif";
myImages[3] = "/files/tcmloaders/equipment_ves_04.gif";
myImages[4] = "/files/tcmloaders/equipment_ves_05.gif";
myImages[5] = "/files/tcmloaders/equipment_ves_06.gif";
rand = Math.floor(Math.random() * num);
current_image = myImages[rand];
}