function getUserAgent() {
	return navigator.userAgent;	
}