function mouseover( id, dir ) {
	document.getElementById( id ).src="images/" + dir + "/" + id + "_hover.png";
	document.getElementById( id + "_text" ).style.color="#c6cee3";

	if( dir == "tools" ) {
		document.getElementById( id + "_text" ).style.color="#ffffff";
		document.getElementById( id + "_tr" ).style.background="#9aadc5";
	} else {
		document.getElementById( id + "_text" ).style.color="#c6cee3";
	}
	document.getElementById(id).style.cursor	= "hand";
}

function mouseout( id, dir ) {
	document.getElementById(id).src="images/" + dir + "/" + id + ".png";
	
	if( dir == "tools" ) {
		document.getElementById( id + "_text" ).style.color="#ffffff";
		document.getElementById( id + "_tr" ).style.background="#03336e";
	} else {
		document.getElementById( id + "_text" ).style.color="#03336e";
	}
}

function mouseover_table_row( id, color ) {
	document.getElementById( id ).style.color="#" + color;
	document.getElementById(id).style.cursor	= "hand";
}

function workarea_over( id ) {
	img_dir		= document.getElementById( id ).src;
	if( img_dir.match( "active" ) != "active" ) {
		src_length	= img_dir.length;
		part_one_dir= img_dir.substr( 0, src_length-4 );
		part_two_dir= img_dir.substr( src_length-4, src_length );
		document.getElementById( id ).src = part_one_dir + "_hover" + part_two_dir;
		document.getElementById(id).style.cursor	= "hand";
	}
}

function workarea_out( id ) {
	img_dir		= document.getElementById( id ).src;
	if( img_dir.match( "active" ) != "active" ) {
		src_length	= img_dir.length;
		part_one_dir= img_dir.substr( 0, src_length-10 );
		part_two_dir= img_dir.substr( src_length-4, src_length );
		document.getElementById( id ).src = part_one_dir + part_two_dir;
	}
}

function changemouse( id ) {
	document.getElementById(id).style.cursor = "hand";
}

function lang_over( id, dir ) {
	document.getElementById( id ).src="images/" + dir + "/" + id + "_hover.png";
}

function lang_out( id, dir ) {
	document.getElementById(id).src="images/" + dir + "/" + id + ".png";
}
