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();
}