<div class="form-group"><label for="prog_format">File format:</label><select id="prog_format" name="prog_format" class="form-control" required>
<option value="C">C11 (gcc 4.9.2)</option>
<option value="CPP" selected>C++11 (g++ 4.9.2)</option>
+<option value="D">D (gdc 4.9.2)</option>
<option value="GCCGO">Go (gccgo 4.9.2)</option>
<option value="GOLANG">Go (gc 1.3.3)</option>
<!-- <option value="GOLFSCRIPT">Golfscript (golfscript.rb)</option> -->
<option value="HASKELL">Haskell (ghc 7.6.3)</option>
<option value="JAVA">Java (openjdk 7u95)</option>
<option value="OBERON">Oberon (obc 2.9.7)</option>
+<option value="OCAML">OCaml (ocamlopt 4.01.0)</option>
<option value="PASCAL">Pascal (fpc 2.6.4)</option>
<option value="PERL">Perl (perl 5.20.2)</option>
+<option value="PHP">PHP (php 5.6.17)</option>
<option value="PYTHON">Python (python 2.7.9)</option>
+<option value="PYTHON3">Python (python 3.4.2)</option>
<option value="RUBY">Ruby (ruby 2.1.5)</option>
<option value="SBCL">Common Lisp (sbcl 1.2.4)</option>
</select></div>