function extwrite(str)
{
 document.write(str);
}