function sf(txt)
{
 document.write(txt);
};