[Ciao-users] ciao to javascript and some guidance