/* 
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
function _$(el){
    return document.getElementById(el);
}
function change_object_text(size) {
    _$('content').style.fontSize=parseInt(size)+'px';
}