function updatePosition() {
    media1.getCurrentPosition(
        function(position) {
            console.log("Pos="+position);
            if (position >= 0.0) {
                setAudioPosition(position+" sec");
            }
        },
        function(e) {
            console.log("Error getting pos="+e);
            setAudioPosition("Error: "+e);
        });
}
for forced updates of position after a successful seek