// JavaScript Document
function rF(string)
{
	if(string != undefined) {
		document.write(string);
	}
}