/**
* INCLUDE YUI-STUFF FIRST !
*/

var $ = YAHOO.util.Dom.get;

var HF = {};


function mystripslashes(str) 
{
	str=str.replace(/\\'/g,'\'');
	str=str.replace(/\\"/g,'"');
	str=str.replace(/\\\\/g,'\\');
	str=str.replace(/\\0/g,'\0');
	return str;
}

function hf_add_submit(event, btn) {
	if (event && event.keyCode == 13) { var elem=$(btn); if (elem) elem.onclick(); }
	else return true;
}