onload = function(){
	var pre = document.getElementsByTagName("PRE")[0];
	if(ie())
		pre.outerHTML = "<pre>" + JSHFull.parse(pre.innerHTML) + "</pre>";
	else
		pre.innerHTML = JSHFull.parse(pre.innerHTML);
};