/*This is where to put all the little scripts that need to be used throughout the page */

function getContentHeight(id, item, pixels)
{
    /* for determining how tall an element is */
    /* gets height, reassigns the next object to be its top point, plus its height, plus pixels for buffer */
    var startHigh = document.getElementById(id).style.top;
    var offsetHigh = document.getElementById(id).offsetHeight;
    startHigh = startHigh.replace("px","");
    startHigh = parseInt(startHigh) + parseInt(offsetHigh) + pixels;
    document.getElementById(item).style.top = startHigh;
//alert(startHigh);
}

function LoadMenuFile(fileToLoad)
{
    /* taken from the post "rnd me10-18-2009, 03:42 AM" at */
    /* http://www.webdeveloper.com/forum/archive/index.php/t-90970.html */
    var Ajax = !window.XMLHttpRequest ? new ActiveXObject('Microsoft.XMLHTTP') : new XMLHttpRequest();
    Ajax.open('GET', fileToLoad, false );
    Ajax.setRequestHeader('Content-Type', 'text/html');
    Ajax.send('');
    return Ajax.responseText;
}