// Opera doesn't like empty js files