if(typeof size == 'undefined') size = 100;

function changesize(size) {
	document.getElementById('main-position').style.fontSize = size;
}