// JavaScript Document
function changeSize(heights){
	if(document.all && !document.getElementById) {
		document.all['content'].pixelHeight = heights;
	}else{
		document.getElementById('content').height = heights;
	}
}