function writeVersion(ver)
{
    document.write(ver);
};