import java.applet.*;
import java.awt.*;
import java.io.*;
import java.net.*;

public class ReadTest extends Applet {
    TextArea ta = new TextArea(4,20);
    MyCanvas canvas;

    public void init() {
        canvas = new MyCanvas(size().width, size().height/2);
        setLayout(new BorderLayout());
        Panel pta = new Panel();
        pta.add(ta);
        add("Center", pta);
        add("South", canvas);
    }

    public void start() {
        ta.setText("");

        try {
            URL url = new URL(getDocumentBase(), getParameter("utf"));
            InputStream is = url.openStream();
            DataInputStream2 dis = new DataInputStream2 (is);

            try {
                for (int i=0;; i++) {
                    String line = dis.readUTF2();
                    while ( Character.isSpace(
                    	line.charAt(line.length()-1)
                    )) line = line.substring(0, line.length()-1);
                    ta.appendText(line + "\n");
                    if (i == 0)
                        canvas.init(line);
                }
            } catch (EOFException e) {
                dis.close();
            }

        } catch (IOException e) {
            e.printStackTrace();
        }
    }
}


class MyCanvas extends Canvas {
    int wid, hei;
    Dimension dim;

    String line;
    int pitch, y0, nfont;
    String[] fontlist;
    Font[] fonts;

    MyCanvas(int wid, int hei) {
        this.wid = wid;
        this.hei = hei;
        dim = new Dimension(wid,hei);
    }

    void init(String line) {
        this.line = line;

        fontlist = getToolkit().getFontList();
        nfont = Math.min(fontlist.length, 5);
        fonts = new Font[nfont];
        for (int i=0; i<nfont; i++) {
            fonts[i] = new Font(fontlist[i], Font.PLAIN, 12);
        }
        pitch = hei / nfont;
        y0 = pitch * 2 / 3;
    }

    public Dimension preferredSize() {
        return dim;
    }

    public void paint(Graphics g) {
        int y = y0;
        for (int i=0; i<nfont; i++) {
            g.setFont(fonts[i]);
            g.drawString(line + " (" + fontlist[i] + ")", 20, y);
            y += pitch;
        }
    }
}