function setSrc(el,url) {
			var old_src = el.src;
			var idx = old_src.lastIndexOf("/");
			var stem = old_src.substring(0,idx);
			el.src = stem + "/" + url;
			
		}
		
		function doLoad() {
/*
		var ad_el = document.getElementById("adtext_1");
			var bot1 =  document.getElementById("adtext_2");
			var bot2 =  document.getElementById("adtext_3")	;		
			var d = new Date();
			var t = d.getTime();		

			ad_el.src = ad_el.src + "code/advert.aspx?type=top&time=" + t;
			bot1.src = bot1.src + "&time=" + t+ "x";
			bot2.src = bot2.src + "&time=" + t+ "y";			
*/			
		}