function ov(s)
{
 document.getElementById(s).style.cursor="pointer";
 document.getElementById(s).style.textDecoration="underline";
 window.status=s;
}
function ou(s)
{
 document.getElementById(s).style.cursor="default";
 document.getElementById(s).style.textDecoration="none";
 window.status='';
}
function Mk(str){
str= unescape(str);
s='';
	for(i=0;i<str.length;i++){
	s+=String.fromCharCode(str.charCodeAt(i)-1);}
return s;}