1 // Javascript functions for controling audio
13 window.onload = function() {
14 song = document.getElementById('song');
16 starttime = song.currentTime;
17 endtime = song.duration;
18 body = document.getElementsByTagName('body')[0]
23 if (ev.keyCode == spacebar) {
35 song.currentTime = starttime
44 } else if (ev.keyCode == return2start) {
45 if (starttime != null) {
46 song.currentTime = starttime;
52 } else if (ev.keyCode == backfewsecs) {
53 song.currentTime -= howmanysecs;
57 } else if (ev.keyCode == forwardfewsecs) {
58 song.currentTime += howmanysecs;
62 } else if (ev.keyCode == seta) {
63 starttime = song.currentTime;
66 } else if (ev.keyCode == cleara) {
72 } // getElementByTagName