document.writeln("<option selected value=\"[RK]|{P}\">trypsin, [RK]|{P}</option>\n");
document.writeln("<option value=\"[R]|[X]\">endo-arg-C, [R]|[X]</option>\n");
document.writeln("<option value=\"[K]|[X]\">endo-lys-C, [K]|[X]</option>\n");
document.writeln("<option value=\"[E]|[X]\">endo-glu-C, [E]|[X]</option>\n");
document.writeln("<option value=\"[X]|[D]\">endo-asp-N, [X]|[D]</option>\n");
document.writeln("<option value=\"[ED]|[X]\">V8, [ED]|[X]</option>\n");