Some javascripts I find usefull