function init() {    		 
    initMenu('menu', 'bottom');
    scaleFrame();
    window.onresize = scaleFrame;
}


function scaleFrame() {
    // I hate browsers, especially IE
    var height = window.innerHeight;
    if (height == undefined) {	
        if (document.compatMode && document.compatMode != "BackCompat") {
            height  = document.documentElement.clientHeight;
		 } else	 {
		  	height = document.body.clientHeight;
       } 
   }	   
	
	var endOfPage = document.getElementById('end-of-page').offsetTop;
	if (height < endOfPage) height = endOfPage + 10;
    document.getElementById('frame').style.height = height + 'px';
}