Several javascript extensions