// ----------------------------------------------------------------------------
//  local function: Return object style pointer 
// ----------------------------------------------------------------------------
function getStyle(id) {
    var style = null;

    var element = document.getElementById(id);
    if( document.all ) {
        element = document.all[id];
        if( element )
            style = element.style;
    }
    return style;
}
// ----------------------------------------------------------------------------
//  Show hidden text by changing style when mouse moves over location
// ----------------------------------------------------------------------------
function showHint(id) {
    var style = getStyle(id);

    if( style ) {
        if( document.all ) {
            if (document.documentElement.scrollTop > document.body.scrollTop)
            {
	            style.top = event.y + document.documentElement.scrollTop + 10;
	            style.left = event.x + document.documentElement.scrollLeft;
            }
            else
            {
	            style.top = event.y + document.body.scrollTop + 10;
	            style.left = event.x+document.body.scrollLeft;
            }
        }
        style.visibility = 'visible';
    }
}
// ----------------------------------------------------------------------------
//  Hide text by changing style when mouse moves away from location
// ----------------------------------------------------------------------------
function hideHint(id) {
    var style = getStyle(id);
    if( style ) 
        style.visibility = 'hidden';
}