document.write('6.0');