function FormatString(x) {return(x<0||x>9?"":"0")+x}
function Trim(stringa) { 
	return stringa.replace(/\s+$|^\s+/g,""); 
} 

 
 



function makelink( name, domain, desc, pre, post ) 
{
    if ( pre != null && pre != "" )
        document.write( pre );
    
    document.write( '<a  style="color:#333366; font-size: 8pt; font-weight:normal;" href="mailto:' );
    document.write( name + '&#64;' );
    document.write( domain + '">' );
    
    if ( desc != null && desc != "" )
        document.write( desc )
    else
        document.write( name + '&#64;' + domain );
    
    document.write( '</a>' );
    
    if ( post != null && post != "" )
        document.write( post );
}