$(function () {

    //########### ZONA EDITABLE ########################################################################################
    var lenguajeEspecifico = ""; //Dejarlo asي para que funcione por defecto con la mayorيa de lenguajes mلs usados
    var skin = ""; //Selecciَn de skin o tema. Ver lista posible mلs abajo. Por defecto se usa el skin 'default'
    //########### FIN ZONA EDITABLE ########################################################################################

 
 
$.getScript("https://google-code-prettify.googlecode.com/svn/loader/run_prettify.js?skin="
 + (skin ? skin : "ضع اسم الشكل") + (lenguajeEspecifico ? "?lang=" +
lenguajeEspecifico : ""));
    $("code,td.code
div.cont_code").wrapInner("<pre class='prettyprint" +
(lenguajeEspecifico ? " lang-" + lenguajeEspecifico : "") + "' />");
});