function reinicio()
{
var applet = document.ggbApplet;
applet.evalCommand("s=0"); 
}
function avanza()
{
var applet = document.ggbApplet;
applet.startAnimation()
}
function pausa()
{
var applet = document.ggbApplet;
applet.stopAnimation()
}
function normal()
{
var applet = document.ggbApplet;
applet.setAnimationSpeed("s", "1")
}
function lento()
{
var applet = document.ggbApplet;
applet.setAnimationSpeed("s", ".5")
}
function rapido()
{
var applet = document.ggbApplet;
applet.setAnimationSpeed("s", "3")
}