// JavaScript Document
function SetHlp(hlp){
		document.getElementById('hlp').innerHTML = hlp;
}