function print_html(varhtml)
{
document.write(varhtml);
}