function isset($tmp) {
	try {
		if (typeof($tmp) == 'undefined') {
			return false;
		} else {
			return true
		}
	} catch(e) {
		return false;
	}
}