// JavaScript Document
function onbutton(button) {
	if (navigator.appVersion >= "3")
		document[button].src = "images/navbutton" + button + "001.jpg";
	}

function offbutton(button) {
	if (navigator.appVersion >= "3")
		document[button].src = "images/navbutton" + button + "000.jpg";
	}
	
function GIFonbutton(button) {
	if (navigator.appVersion >= "3")
		document[button].src = "images/navbutton" + button + "001.gif";
	}

function GIFoffbutton(button) {
	if (navigator.appVersion >= "3")
		document[button].src = "images/navbutton" + button + "000.gif";
	}


function preload(filename) {
	var image = new Image;
	image.src = filename;
	}