javascript do while loop