function docWrite(html) { 
    document.write(html); 
}