jQuery(function() {
//    jQuery("pre").corner("8px");
});