function makelink( name, domain, desc, pre, post ) {
    if ( pre != null && pre != "" )
        document.write( pre );
    
    document.write( '<a 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 );
}

function PiccolaFinestra(locazione) {
	newwindow = window.open (locazione, "Lista", "toolbar=no, resizable=yes, scrollbars=yes, location=no, width="+400+", height="+500+", left="+0+", top="+0+"");
	newwindow.creator=self;
	newwindow.focus();
}