function getStringFromStyleSheet(style,value) {
  if (document.styleSheets) {
    for (var i=document.styleSheets.length-1;i>=0;i--) {
      var rules = document.all ? document.styleSheets[i].rules : document.styleSheets[i].cssRules;
      for (var j=rules.length-1;j>=0;j--) {
        if (rules[j].selectorText==style) {
	  return eval('rules[j].style.'+value);
        }
      }
    }
  }
}

function getNumberFromStyleSheet(style,value,defaultValue) {
  var value=getStringFromStyleSheet(style,value);
  if (value!='' && typeof(value)!='undefined')
    return parseInt(value)
  else
    return defaultValue;
}

function getFontFromStyleSheet(style,value,defaultValue) {
  var result=getStringFromStyleSheet(style,value);
  if (result=='') {
    result=getStringFromStyleSheet('FONT',value);
    if (result=='')
      result=defaultValue;
  }
  return result;
}

function isValueValid(value) {
  return value!=null && value!='undefined' && value!="";
}

function writeMailToLink(asMailTo, asDomain, asClass, asLinkText) {
  var cA = '@';
  document.write('<nobr><a href="mail'+'to:'+asMailTo+cA+asDomain+'"'+(asClass!=''?' class="'+asClass+'"':'')+'>'+(asLinkText!=''?asLinkText:asMailTo+cA+asDomain)+'</a></nobr>');
}