An implementation of SEAMonster for the web