It would be much better to do this with an externs file, rather than modifying rgbcolor.js.