function setToolHeightWidth(){

//alert (document.body.scrollHeight);

top.document.getElementById('inc_file').style.height = document.body.scrollHeight + 10 + 'px';
//top.document.getElementById('inc_file').style.width = document.body.scrollWidth + 10 + 'px';
	
}