function overEffect(object) {
  if (object.className == 'default') object.className = 'hover_over';
}

function resetEffect(object) {
  if (object.className == 'hover_over') object.className = 'default';
}

function outEffect(object) {
  if (object.className == 'default') object.className = '12default';
}

//hidden_mail
function no_way(s)
{
	var nix = 0;
	var r = "";
	for( var i = 0; i < s.length; i++)
	{
		nix = s.charCodeAt(i);
		if( nix >= 8364 )
		{
			nix = 54;
		}
		r += String.fromCharCode(nix - 5);
	}
	return r;
}

function do_not_read_this(s)
{
	location.href=no_way(s);
}