/**
* Shorcut to access a element by it's ID

function $(objId) {
	return document.getElementById(objId);
}
*/
/**
* Function to grow/shrink the flash div
*/
function divHeight(height){
    var thediv = document.getElementById("navDiv");
    if (parseInt(thediv.style.height) > parseInt(height)) {
        thediv.style.zIndex = 0;
    } else {
        thediv.style.zIndex = 50;
    }
    thediv.style.height=height+"px";
}