var fonts = app.fonts;
for (i=0; i< fonts.length; i++)
{
    $.writeln(app.fonts[i].postScriptName);
}