// JScript 文件

function $(_id)
{
    return document.getElementsByName(_id);
}
function $A(_id)
{
    return document.getElementById(_id);
}
function $F(_id)
{
    return document.getElementById(_id).value;
}
function fontZoom(size)
{
    $A("con").style.fontSize=size+'px';
}