<!--
function writeObject ( buf ) {
    document.write( buf ) ;
}
//-->