function setFont(v){
	document.getElementById("text_box").style.fontFamily=v;
}

function hideDropdown(w,f){
w.style.display='none';
document.getElementById(f).style.display='';
}

function showDropdown(w,f){
	w.style.display='block';
	document.getElementById(f).style.display='none';
}

function putOnEnter(e){
var thekey = (document.all)?(window.event.keyCode):(e.which);
if(thekey== 13){
	document.getElementById("FontNames_txt").blur();
}
}