function foo() {
    var elem = document.getElementById("mark");
    elem.innerHTML="<p>Now is the time</p>";
}


function dbgmsg(msg) {

    var elem = document.getElementById("dbgmsg");
    elem.innerHTML+=msg+'<br>';

}

function resize(id,width,height) {
    
    var elem = document.getElementById(id);

    if(elem != false) {
        elem.style.width = width;
        elem.style.height = height;
        return true;
    } else {
        return false;
    }

}

function resize_map(map,width,height) {

    var elem = map.getContainer();

    point = map.getCenter();

    elem.style.width = width;
    elem.style.height = height;


    map.checkResize();
    map.setCenter(point);

    return true;
}