function get(id){
	return document.getElementById(id);
}
function set(id,val){
	get(id).innerHTML=val;
}
function getVal(id){
	return get(id).value;
}
function setVal(id,val){
	get(id).value=val;
}
function onEnter(f){
	if(event.keyCode==13)
		f();
}
function append(id, val) {
	set(id, get(id).innerHTML + val);
}
function hide(id){
	get(id).style.visibility='hidden'
}
function show(id){
	get(id).style.visibility='visible'
}