function setFrameHeight(height)
{
    var specialFrameElement = document.getElementById("specialsframe");
    specialFrameElement.style.height = height + "px";
}