Little tools in javascript, useful in various projects