function getByID (n) {
    var d = window.document;
    if (d.getElementById)
        return d.getElementById(n);
    else if (d.all)
        return d.all[n];
}

function setElementValue(domID, newVal) {
    getByID(domID).value = newVal;
}

function updateDiv(div2Update, updateWith) {
	new Ajax.Updater(div2Update, updateWith, {asynchronous:true, evalScripts:true, requestHeaders:['X-Update', div2Update]});
}