<!--
function writeObjectStr(buf) {
    document.write(buf) ;
}

//-->