function w (s)
{
    document.write(s);
}