var tmpl_header = AJS.join('', [
    '<div id="top"> <img src="static_files/duncans_sale.gif" alt="" /> <br />',
    '<span style="font-weight: bold; color: #FF8C00">Jamaican Properties for Sale</span>',
    '</div>'
]);

function insertHeader() {
    AJS.DI(tmpl_header);
}

var LINKS = {
    'duncansbay_photo': 'duncans_lot_75_photo.html',
    'duncansbay': 'duncans_lot_75.html'
}

function insertMenu(current_page) {
    var menu = AJS.UL({id: 'menu'});
    var create_item = function(cls, name) {
        var item = AJS.LI({'class': cls});
        AJS.ACN(item, AJS.A({href: LINKS[cls]}, name));
        return item;
    }
    var items = [
        create_item('duncansbay_photo', 'LOT 75 Photographs'),
        create_item('duncansbay', 'About LOT 75')
    ];

    AJS.map(items, function(item) {
        if(item.className == current_page) {
            AJS.addClass(AJS.$bytc('a', null, item)[0], 'current');
        }
        AJS.ACN(menu, item);
    });
    AJS.DI(menu);
}

function insertCode() {
    var code = AJS.join('\n', arguments);
    var result = '<pre><code>';
    code = code.replace(/</g, '&lt;').replace(/>/g, '&gt;');
    result += code;
    result += '</code></pre>';
    document.write(result);
}