document.write('Opera/9.80')