function GetHeight(ID_TOCHI,NAME_TOCHI)
{
if (document.height) 
{
document.getElementById(ID_TOCHI).style.height = parent.frames[NAME_TOCHI].document.height +20 +"px" ;
}
else
{
document.getElementById(ID_TOCHI).style.height = parent.frames[NAME_TOCHI].document.body.scrollHeight +20 +"px";
}
}