require and import HTMLPasteurizer in Opera 12