function tokenize() {
		tValue = "543219";
		document.getElementById('token').value = tValue;
		return true;
	}