function overButton(ob)
{
	ob.style.background="#000000";
}
function outButton(ob)
{
	ob.style.background="#ff0000";
}
function updateParentHeight()
{
  try
  {
  var h=document.getElementById("alldiv").offsetHeight;
  parent.setFrameHeight(h);
  }
  catch(ex)
  {
  }
  window.setTimeout("updateParentHeight()",500);
}
function setFrameHeight(h)
{
  frameinside.height=h+30;
}