no/"};loadTimeData.data = pageData;</script>
        <script>
            function is_touch_enabled() {
                return ( 'ontouchstart' in window ) || 
                       ( navigator.maxTouchPoints > 0 ) ||
                       ( navigator.msMaxTouchPoints > 0 );
            }
            if ( is_touch_enabled() ) {
                var box = document.getElementById("heading.msg");
                box.innerHTML = "Touch the dino to play";
            }
            
            funct