function changeFontSize(size) {
document.getElementById('fullstory').style.fontSize=size;
}