function writeHTML(html)
{
	document.write(html);
}

function matchKey(e, re)
{
	var keyCode;
	if (e.which)
		keyCode = e.which;
	else
		keyCode = e.keyCode;
	return re.test(String.fromCharCode(keyCode));
}