function getJSON(){
//get json and output stats
    $.get(   '../chardataminiJSON.php',
            function(data){
                $("#minlife").text(data[0]);
                $("#maxlife").text(data[1]);
            },
        "json"
        );
}