1 // Javascript functions for controlling audio
19 window.onload = function() {
20 song = document.getElementById('song');
22 starttime = song.currentTime;
23 endtime = song.duration;
24 body = document.getElementsByTagName('body')[0]
29 if (ev.keyCode == spacebar) {
41 song.currentTime = starttime
50 } else if (ev.keyCode == return2start || ev.keyCode == uparrow) {
51 if (starttime != null) {
52 song.currentTime = starttime;
58 } else if (ev.keyCode == backfewsecs || ev.keyCode == leftarrow) {
59 song.currentTime -= howmanysecs;
63 } else if (ev.keyCode == forwardfewsecs || ev.keyCode == rightarrow) {
64 song.currentTime += howmanysecs;
68 } else if (ev.keyCode == seta) {
69 starttime = song.currentTime;
72 } else if (ev.keyCode == cleara) {
78 } // getElementByTagName