document.write('<link rel="Stylesheet" type="text/css" title="style" href="javascript.css" />' );

/* ** OBJECT ** */

function getObj( id )
{
    if (document.getElementById) {
	  	this.obj = document.getElementById(id);
		this.style = document.getElementById(id).style;
    }
    else if (document.all) {
		this.obj = document.all[id];
		this.style = document.all[id].style;
    }
    else if (document.layers) {
	   	this.obj = document.layers[id];
   		this.style = document.layers[id];
    }
}

/* ** MAIL ** */
function mailme( host, name )
{
    self.location = "mail" + "to:" + name + "@" + host;
    return false;
}

/* ** CHANGE VISIBILITY ** */

var tohide = new Array();

function clearHide(s)
{
    if( tohide[s] ) {
        window.clearTimeout( tohide[s] );
        tohide[s] = false;
    }
}  

function show(s) {
    clearHide(s);
    new getObj(s).style.visibility = "visible";
    return true;
}

function hide(s,time) {
    clearHide(s);
    if( time ) {
        tohide[s] = window.setTimeout('timedhide("' + s + '")',time);
    }
    else {
        new getObj(s).style.visibility = "hidden";
    }
    return true;
}

function timedhide(s) {
    if( tohide[s] ) {
        new getObj(s).style.visibility = "hidden";
    }
    clearHide(s);
}

/* ** CHANGE STYLE ** */

function setActiveStyleSheet( linkTitle ) {
	var links = document.getElementsByTagName( 'link' );
	for( var i = 0; i < links.length; i++ ) {
		if( links[i].getAttribute( "rel" ) == "alternate stylesheet" && links[i].getAttribute("title") ) {
			links[i].disabled = links[i].getAttribute("title") != linkTitle;
		}
	}
}