'.$_GET['log'].''; } else { echo '
GLSL Editor
'; } ?>
'; } else { echo '
'; } echo'
'; ?> '; // } else { // echo ' //
'; // } // echo ' //
//
'; ?>