function getElement(id){
	return document.getElementById(id);
}

function getValue(id){
	return document.getElementById(id).value;
}

function setValue(id,val){
	var el=getElement(id);
	el.value=val;
}

function setHTML(id,html){
	var el=getElement(id);
	el.innerHTML=html;
}

function getHTML(id){
	return document.getElementById(id).innerHTML;
}