JavaScript tools for Aino