function GEBId(id) {
    return document.getElementById(id);
}

function GEBName(name) {
    return document.getElementsByName(name);
}