window.addEventListener("load", function() {
    var codes = document.getElementsByTagName('pre');
    var count = codes.length;
    for (var i = 0; i <= count; i++) {
        codes[i].className = 'sh_php';
    }
    sh_highlightDocument();
});