$output";
#$output = shell_exec('java -jar yuicompressor-2.4.7.jar --charset utf-8 --type css -o ../nav.min.css ../nav.css');
#echo "$output
";
#$output = shell_exec('java -jar htmlcompressor-1.5.2.jar ../nav.html > ../nav.min.html');
#echo "$output
";
?>