function strechtline() {
	var m = document.getElementById('mainnav');
	var s = document.getElementById('subnav');
	var d = document.getElementById('subnavdiv')
	if(s.clientHeight < m.clientHeight) {
		d.style.height = (m.clientHeight+15) + 'px';
	}else{
		d.style.height = (s.clientHeight+15) + 'px';
	}
	if(s.clientHeight == 0) {
	    d.style.height = '0px';
	}
}