// JavaScript Document
function setFont12(){
      var v = document.getElementById("bid").className = "f12";
}
function setFont14(){
      var v = document.getElementById("bid").className = "f14";
}