function trim(s)
{
  s = s.replace(/^\s*(.*)/, "$1");
  s = s.replace(/(.*?)\s*$/, "$1");
  return s;
}

// convenience init function triggered by body/onload
function init()
{
	if (navigator.userAgent.match(/iphone/i) || navigator.userAgent.match(/ipod/i)) {
		window.scrollTo(0,1);
	}
}