// JavaScript Document

function cursor_on() {
	document.body.style.cursor = 'pointer';
}

function cursor_off() {
	document.body.style.cursor = 'default';
}