Useful javascripts from many sources