/*-------------------------------------------------------------------------*/
// Clean name from Jippii Country marks
/*-------------------------------------------------------------------------*/
function clean_name (name)
{
 var neu = name.replace(/^(.*\: )?(.*\|)/, '$1');
 document.write(neu);
}
/*-------------------------------------------------------------------------*/
// get ranking from jippii_rankings (set in global board header, defined in cfg)
/*-------------------------------------------------------------------------*/
function ranking_title (pos)
{
 document.write(jippii_rankings[pos]);
}