// JavaScript Document
function resize(height){ 
var frame = document.getElementById("frame1"); 
frame.style.height = height + "px";  
}