function $(id) {
	return document.getElementById(id);
}
function checkover(){
	ex3d = new Animator().addSubject(new ColorStyleSubject($('checkoutButton'), 'background-color', "#fcb537", "#FFF"));
	ex3d.toggle();
}
function checkout(){
	ex3d = new Animator().addSubject(new ColorStyleSubject($('checkoutButton'), 'background-color', "#FFF", "#fcb537"));
	ex3d.toggle();
}
function goto(s){
	window.location.href = s;
}