/* XXX ERROR -- could not find 'tiny_mce.js'*/