function getDocWidth(){
	var docWidth = null;
	if (navigator.appName == "Microsoft Internet Explorer") {
  		docWidth = document.body.clientWidth;
	}else{
  		docWidth = window.innerWidth;
  		if (document.body.scrollHeight > document.body.clientHeight)
			docWidth -= 17;
	}
	return docWidth;
}
function getPanelWidth(){
	return pixelsToNum(document.getElementById("sidebar").style.width);	
}
function pixelsToNum(per){return (parseInt(per.substr(0,(per.length-2))));
}