function writeVersion()
{
document.write("4.2.0")
}

function writeRevision()
{
document.write("w")
}

function writeVersionAndRevision()
{
document.write("4.2.0w")
}

function writeVersionDate()
{
document.write("Nov. 27, 00")
}

function versionString()
{
 return "4.2.0w"
}

function versionDateString()
{
 return "Nov. 27, 00"
}