// JScript File

var lx_index = false;

window.addEvent('domready', function() {
    if (lx_index)
        lx_indexer();
    var ie6 = /MSIE (5\.5)|[6789]/.test(navigator.userAgent) && navigator.platform == "Win32";
    if (ie6) {
        //alert("ie6");
        if ($('content')) {
            var height = $('content').getHeight();
        }
        //$('content').setStyle('height',(height)+'px');
    }
});