Include tri.js