function xx(t){
  if ( window.console && console.log ) { console.log(t); return }
  if ( ! document.getElementById('xx') ) return;
  document.getElementById('xx').value += t + '';
}

function appleDevice () {
  return /iPhone|iPad|iPod/.test(window.navigator.userAgent);
}