function send_form(form_id){document.getElementById('a'+form_id).submit();}
var currentFontSize = 3;