Javascript tools (generic)