function domyalert (a) {
	alert(a);
}