function resizeExList()
{
	/*if(window.innerHeight==undefined)
	{
		document.getElementById('exList').style.height="100%";
	}
	else
	{
		document.getElementById('exList').style.height=window.innerHeight-120;
	}*/
}