function doAction(value) {
	$('action').value = value
	$('form').submit()
}

function mail(addr) {
	addr = addr.replace(/PUNKT/g,'.')
	addr = addr.replace(/SNABELA/g,'@')
	window.location.href = 'mailto:'+addr
}

function encrypt() {
	$('password').value = md5(md5($('p1').value)+$('salt').value)
	if ($('p2').value != '')
		$('newpass').value = md5($('p2').value)
}

function $(id) {
	return document.getElementById(id)
}