function trim(value) {
	try {
		value = value.replace(/^\s+/,'');
		value = value.replace(/\s+$/,'');
		return value;
	} catch (e) {}
}

function search() {
	var nummer = document.getElementById('search').value;
	if (nummer == '<nummer plaatje>') {
		return false;
	}
	if (nummer=='') {
		return false;
	}
	document.location.href = 'plaatje-zoeken-'+nummer+'.html';
	return;
}