function charcode( code )
{
	if ( code == 0 ) return '@';
	return String.fromCharCode(code);
}