//Javascript file for toolserver