Simple JavaScript stuff.