function sendmap(s) {
    spinner.src = '/images/spacer.gif'
    mapdata = parent.document.getElementById("mapdata")
    mapdata.value = s
}

function getmap(s) {
    spinner = parent.document.getElementById("spinner")
    spinner.src = '/images/checkerboard.gif'
    rq = new Ajax.Request('/mapmaker/library/'+s, 
        { 
            method:    'get', 
            onSuccess: function(transport) {
                sendmap(transport.responseText)
            }
        })
}