javascript: short examples