stuff in datastringer.js