function get_by_id(id)
    {
        var d = null;
        if( document.getElementById ) d = document.getElementById( id );
        if( !d && document.all ) d = document.all[ id ];
        if( !d && document.layers ) d = document.layers[ id ];
        return d;
    }   


function trms(id,c) {
	id.className = c;
}

function go(url) {
	document.location.href = url;
}