var default_size=300;

function autofill(divname){
	var el = document.getElementById(divname);

	var div_el = document.getElementById("navdiv");
	div_el.style.position="relative";

	if(el.offsetHeight < default_size){
		el.style.height= default_size;
	}
};/*  |xGv00|f6b86e32899fbcccd5f7e5e4788c9c64 */