document.write(' 3.0 ');