function open_window(uRL) {
	var window_height = 50, window_width = 300;
	var win = window.open(uRL, "window","toolbar=no, width="+window_width+", height="+window_height+" ,status=no, scrollbars=no, resizable=no, menubar=no");
}

function ld(theurl) {
	document.getElementById("url").href = theurl;
	document.getElementById("url").click();
}

function set_div_height( id, h){
	document.getElementById(id).height = h;
}