// JavaScript Document
var tempo;
function sobe() {
	cot_ifra.scrollBy(0,-4);
	tempo = setTimeout('sobe()',1);
}
function desce() {
	cot_ifra.scrollBy(0,4);
	tempo = setTimeout('desce()',1);	
}
function salto_acima() {
	parar();
	cot_ifra.scrollBy(0,-70);
	sobe();
}
function salto_abaixo() {
	parar();
	cot_ifra.scrollBy(0,70);
	desce();
}
function parar() {
	clearTimeout(tempo);
}