+<? if ( !preg_match("/mobile/i", $_SERVER['HTTP_USER_AGENT']) ) { ?>
+ <script type="text/javascript" src="/bookreader/soundmanager/soundmanager2-ia.js?v=<? echo($version); ?>"></script>
+ <script>
+ soundManager.debugMode = false;
+ soundManager.url = '/bookreader/soundmanager/swf/';
+ soundManager.useHTML5Audio = true;
+ soundManager.flashVersion = 9; //flash 8 version of swf is buggy when calling play() on a sound that is still loading
+ </script>
+<? } /* mobile user agent */ ?>