interface HTMLFontElement : HTMLElement {
attribute wstring color;
attribute wstring face;
attribute wstring size;
};