some js things: