function myprintln(s) 
{ 
document.writeln(s); 
} 

function changeColor(colors,table_id)
{
eval(table_id).style.background=colors
//eval(table_id).style.background="html_images/thump_network.gif";

}