<!--
	var uc = 10;
	var u = new Array(uc);

	u[0] = "http://www.derevo.org/common/int/maninfo_a.html";
	u[1] = "http://www.derevo.org/common/int/maninfo_b.html";
	u[2] = "http://www.derevo.org/common/int/maninfo_c.html";
	u[3] = "http://www.derevo.org/common/int/maninfo_d.html";
	u[4] = "http://www.derevo.org/common/int/maninfo_e.html";
	u[5] = "http://www.derevo.org/common/int/maninfo_f.html";
	u[6] = "http://www.derevo.org/common/int/maninfo_g.html";
	u[7] = "http://www.derevo.org/common/int/maninfo_i.html";
	u[8] = "http://www.derevo.org/common/int/maninfo_j.html";
	u[9] = "http://www.derevo.org/common/int/maninfo_k.html";

	function pickRandom(range) {
		if (Math.random)
			return Math.round(Math.random() * (range-1));
		else {
			var	now = new Date();
			return (now.getTime() / 1000) % range;
		}
	}

	function randomURL() {
		var choice = pickRandom(uc);
		return u[choice];
	}
	
// -->