HTML transcoding

Input:

Output: