Omzetten van HTML naar PHP