// JavaScript Document
function changeSize(theHeight) {
document.getElementById("myiframe").height = theHeight;
}