function clear_default(el) {
  if (el.defaultValue==el.value) el.value = "";
}

function random_banner() {
	document.getElementById("phrase_banner").src = "_tpl/img/header_" + (Math.floor(Math.random()*9)+1) + ".gif";
}