An extension to the usual javascript usage