function $(objID) {
	return document.getElementById(objID);
} 

function show_cur(num){
  if(curtype = $(num)){
    curtype.className +=' selected';
  }
}