Hi, I'm running into an opera mini strangeness. I have a <script src="..."> tag inside <body>, which is suppose to return document.write("some HTML"); This works fine except on opera mini, which does not seem to even call the server, because I looked at server:source and saw the unsubstituted <script> tag.  Any suggestions?