function wrapSubstring(original, substring, prefix, suffix, fromIndex) {
    var result = original;
    pos = result.toUpperCase().indexOf(substring.toUpperCase(), fromIndex);
    if (pos >= 0) {
        result = result.substring(0, pos) + prefix + result.substring(pos, pos+substring.length) + suffix + result.substring(pos+substring.length);
        fromIndex = pos + suffix.length + prefix.length + substring.length;
        if (fromIndex<=result.length) {
            result = wrapSubstring(result, substring, prefix, suffix, fromIndex);
        }
    }
    return result;
}

function isAllDigits(argvalue) {
	argvalue = argvalue.toString();
	var validChars = "0123456789";
	var startFrom = 0;
	if (argvalue.substring(0, 2) == "0x") {
	   validChars = "0123456789abcdefABCDEF";
	   startFrom = 2;
	} else if (argvalue.charAt(0) == "0") {
	   validChars = "01234567";
	   startFrom = 1;
	} else if (argvalue.charAt(0) == "-") {
		startFrom = 1;
	}
	for (var n = startFrom; n < argvalue.length; n++) {
		if (validChars.indexOf(argvalue.substring(n, n+1)) == -1) return false;
	}
	return true;
}

function isAllDigitsOrDot(argvalue) {
    argvalue = argvalue.toString();
    var validChars = "0123456789.";
    var startFrom = 0;
    if (argvalue.substring(0, 2) == "0x") {
       validChars = "0123456789abcdefABCDEF";
       startFrom = 2;
    } else if (argvalue.charAt(0) == "0") {
       validChars = "01234567";
       startFrom = 1;
    } else if (argvalue.charAt(0) == "-") {
        startFrom = 1;
    }
    for (var n = startFrom; n < argvalue.length; n++) {
        if (validChars.indexOf(argvalue.substring(n, n+1)) == -1) return false;
    }
    return true;
}

// Selecciona todos los elementos de un select                                                                                                                                              
function selectAll(sel) {
    var i;
    for (i=0; i<sel.length; i++) {
        sel.options[i].selected = true;
    }
}

function overToolsMenu(){
    $("#section_title").hide();
}

function outToolsMenu(){
    $("#section_title").show();
}