// Mozilla Script