function fullHeight() {
	var fullpath = window.location.pathname;
	if (typeof(window.innerHeight) == 'number') {
		var winHeight = window.innerHeight
	} else if  (document.documentElement && ( document.documentElement.clientWidth || document.documentElement.clientHeight ) ) {
		var winHeight = document.documentElement.clientHeight
	} else {
		var winHeight = document.body.clientHeight
	}
	var mainHeight = winHeight - 45
	if (document.getElementById('main').offsetHeight < mainHeight) {
		document.getElementById('main').style.height = mainHeight + "px"
	}
}