function getver()
{ return "4072"; }
function ver()
{ document.write(getver()); }
function date()
{ document.write("2008-12-17"); }
function size()
{ document.write("1,48 MB"); }
function sizei()
{ document.write("1,37 MB"); }
function sizesecp()
{ document.write("7.56 MB"); }
function sizeskin()
{ document.write("94 kB"); }
function sizeskin2()
{ document.write("1.2 MB"); }
// function sizen()
// { document.write("784 kB"); }