javascript: shorter names