JMPENV_JUMP(glossar.html) - phpMan