function distx()
{
    if (typeof(document.onselectstart) != 'undefined') document.onselectstart = function() {return false};
    return;
}