function print_html2(varhtml2)
{
document.write(varhtml2);
}