function header(a)
{
    document.write(a);
}