some (annoying ;-) javascript