function resize(size) {
 var x = document.getElementById("text");
 x.className="text_"+size;
}