window.ondom(function() {
    
	
	
});

function doSubmit(a) {
	
	a.submit();
}