a javascript StringBuilder